yusuke1997/dblp-id-title huggingface dataset:
Analyse intégrée des réseaux sociaux pour la détection et la visualisation de communautés
Interactions haptiques au sein de simulations dynamiques Traitement dynamique des contacts et des chocs entre objets rigides
CryptoPage. Une architecture efficace combinant chiffrement, intégrité mémoire et protection contre les fuites d'informations permettant du calcul distribué sr
Architecture d'un système de dialogue pour la coopération homme/SMA
Les machines parallèles en France (1986-1996)
Adaptation sémantique des protocoles des composants par les automates d'interface
Logique possibiliste et fusion d'informations
Bases tensorielles de Bernstein et solveurs
L'ingnierie dirige par les modles pour la conception d'applications architectures rparties adaptables. Construction de variantes et de plans d'adaptation par transformation de mod
Architectures dynamiques de systèmes multi-agents conversationnels
Méthodes pour l'évaluation de la dimension fractale de surfaces
Synthèse de haut niveau tenant compte de la dynamique des traitements. Analyse de la largeur des données d'applications du TDSI et gestion de cette information lors de la synthèse de haut niveau
Gestion autonome de la réparation et du dimensionnement d'un système multiniveau par contrôle discret
Des algorithmes naturels. Entretien avec Bernard CHAZELLE
EvOnto : un outil d'évolution de ressource termino-ontologique pour l'annotation sémantique
Régulation du flot d'instructions pour des processeurs orientés temps réel
Conception simultanée de systèmes électriques hétérogènes par algorithmes évolutionnaires multicritères. Applications à l'optimisation de chaînes de traction pour véhicules électriques
Estimation du parallélisme au niveau système pour l'exploration de l'espace de conception de systèmes enfouis
Code mobile et carte à puce
Approches perceptives et cognitives en analyse automatique d'images de documents
Une bibliothèque Coq pour le traitement des langues naturelles
Algorithmes évolutionnaires pour l'optimisation multi-objectif
Outils pour une comparaison sans a priori entre arithmétique logarithmique et arithmétique flottante
Design de grands flux de données Cadre conceptuel d'analyse esthétique cognitive des modèles « non conventionnels » de représentation-visualisation de données
Estimation du marquage d'un réseau de Petri p-temporel sous observation partielle
Une étude des jeux distribués
Étude cognitive des processus de construction d'une requête dans un système de gestion de connaissances médicales
Évolution des classes complexes du modèle sémantique flou temporel EFSM-Tempo
Le traitement des erreurs cachées en langue arabe. Une architecture SMA
Estimation rapide du couple énergie/délai des circuits asynchrones QDI
Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture
Modélisation, classification et propagation dans des réseaux d'influence
OntoMénélas. Motivations et retours d'expérience sur l'élaboration d'une ontologie noyau de la médecine
Des aspects d'ergonomie cognitive dans la réutilisation en génie logiciel (Cognitive ergonomics issues in software reuse)
Treillis cubes contraints pour la fouille de bases de données multidimensionnelles
Botnets IRC et P2P pour une supervision à large échelle
L'interaction en réalité virtuelle. État de l'art
GECOS : Mécanisme de synchronisation passant à l'échelle à plusieurs lecteurs et un écrivain pour structures chaînées
DYNAMO, un outil de construction et d'évolution d'ontologies à partir de textes
Desiderata pour la spécification et la conception des systèmes électroniques
Nouvelle approche de synthèse de commande pour les réseaux de Petri p-temporels. Une méthode basée sur la notion d'instants de tir
Une plateforme usage pour l'intégration de l'informatique ambiante dans l'habitat. L'appartement Domus
Les tests dans le développement logiciel, du cycle en V aux méthodes agiles
Intégration de la hiérarchie d'abstraction et de la granularité temporelle au sein de la modélisation et la simulation DEVS
Une approche ontologique pour la modélisation et le raisonnement sur les trajectoires. Prise en compte des règles métiers, spatiales et temporelles
Identification de vulnérabilités web et génération de scénarios d'attaque
Chronique : Réseaux de Petri et modélisation en biologie moléculaire
Différentiation automatique et formes de Taylor en analyse statique de programmes numériques
« Canal Haptique », un projet art et science Communication multimodale d'émotions à distance
Étude des services de matchmaking dans les jeux multijoueurs en ligne. Récupérer des traces d'utilisateurs pour améliorer l'expérience de jeu
Des flottants 16 bits sur microprocesseurs d'usage général pour images et multimédia
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services
Vérification formelle d'extractions de racines entières
Implantation d'algorithmes spécifiés en virgule flottante dans les DSP virgule fixe
B : passé, présent, futur
Application des algorithmes évolutionnaires pour l'estimation du mouvement à l'aide des champs de Markov
Des objets et des hommes
Réduction des coûts dans un SaaS/PaaS à l'aide de la consolidation de logiciels au sein des VMs
Un modèle de conversation mixte pour l'interaction humain/agent
Automatiser les preuves d'un sous-langage de la méthode B
A Metric-based Approach for Code Displacements in the Debugging of Optimised Programs
Interrogation de ressources XML concernant un domaine d'intérêt
Algèbre des processus pour l'analyse des performances des noeuds actifs
Suivi hiérarchique de structures intra-cellulaires dans des images 4 D
Description intégrée de processus cellulaires spatiotemporels basée sur un modèle géométrique de transformation
L'automate Épidémie et le modèle d'Eden face à l'irrégularité
Des blocs de données aux motifs graduels multidimensionnels
COSMOS, composition de noeuds de contexte
Un Framework dirigé par les modèles pour modéliser la gestion de qualité de service dans les SGBD temps réel
GDR ESARS : Esthétique, Arts & Sciences
Analyse statique de programmes et systèmes numériques
Qualité audio pour un schéma FEC simple
Exploitation de documents numériques dans une formation e-learning
Agents informationnels pour l'étude expérimentale de concepts de socio-cognition Vers une approche agent de la socio-informatique
Transformation exogène de Wright vers Ada
Optimisation des évolutions d'un réseau télécom
StrataVis : une technique de visualisation graphique orientée modèle
Test de spécifications de logiciels synchrones
Sélection de traits caractéristiques d'objets 3D lisses pour le rendu non photoréaliste
Introduction de la prédiction de branchement dans la synthèse de haut niveau
L'informatique universitaire à Nancy : un demi-siècle de développement
Étude de la sensibilité aux jeux de données de la compilation itérative
Des systèmes multiagents anytime pour la conception de systèmes d'aide à la décision
Outils pour la recherche d'extraits pertinents dans les séquences vidéo. Applications aux retransmissions télévisées de matchs de football
Allouer efficacement des ressources dans un environnement distribué
Programmation d'un interpréteur abstrait certifié en logique constructive
Simulation native basée sur le support matériel à la virtualisation cas des systèmes many-cœurs spécifiques
Fonctions élémentaires en virgule flottante pour les accélérateurs reconfigurables
Optimisation du cache sibling à l'aide d'une architecture pair à pair
Pérennité dans les systèmes de stockage pair à pair
Systèmes d'information pour le télémonitorage de la santé à domicile. Implémentation du système AILISA s'appuyant sur une messagerie électronique
Conception et évaluation d'un système de cache réparti adapté aux environnements virtualisés
Réseaux bayésiens naïfs et arbres de décision dans les systèmes de détection d'intrusions
Imitation dans le cadre des systèmes de classeurs
Maintien de la cohérence de modèles de conception hétérogènes
Une approche orientée patron pour la reconfiguration de système de systèmes
Simulation de communautés de plantes et dynamique des populations
Évaluation de la couverture d'une suite de tests dans le cadre du projet TASCCC
Intégration multicapteur pour un habitat intelligent. Spécifications des détecteurs de présence et perspectives
Contrôle de systèmes symboliques, discrets ou hybrides
Les web services sémantiques, automate et intégration I. Introduction, éléments et scénarios, découverte de services web
MOKA, modélisation et planification de capacité pour les systèmes multi-étagés
Couplage entre abstraction temporelle et reconnaissance de scénarios. Application à l'identification d'évolutions
Le mécanisme de compression des en-têtes ROHC (Robust Header Compression)
Reconvergence de contrôle implicite pour les architectures SIMT
Vérifier les protocoles cryptographiques
Objets actifs mobiles et communicants
Évolution d'un langage pour la programmation parallèle multicontexte : Threaded-C
Docking de protéines en réalité virtuelle Une approche hybride et multimodale
Une approche unifiée pour proposer des activités interactives entièrement personnalisées sur les profils d'apprenants
L'optimisation par essaim particulaire
Modélisation des interactions dans les systèmes multi-agents Configuration automatique de rôles
Développement formel par composants Assemblage et vérification à l'aide de B
Spécialisation et sous-typage : thème et variations
Index des auteurs Volume 29/2010
Chronique : Consommation statique. Modèles, évolutions et perspectives
Flot de conception flexible pour la synthèse comportementale - Une approche effective pour l'intégration des outils
Mobilité et bases de données
Support de transmodage de contenus multimédia dans MPEG-21. Etude et validation d'un outil de description
Des vidéos aux hypervidéos. Vers d'autres interactions avec les médias audiovisuels
Un algorithme autostabilisant pour le problème du K-partitionnement sur graphe pondéré
ROOM. Des machines reconfigurables orientées objet pour les applications spécifiques
Multicast fiable : l'approche à soutien des routeurs
Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique
Nouvelles perspectives en extraction d'information
Construction de services distribués : une approche à base d'agents mobiles
Une interprétation fonctionnelle de l'IDM
Trois approches pour la modélisation et la vérification de systèmes embarqués
Impact des extensions SIMD sur les performances d'applications multimédias. La bande passante mémoire limite AltiVec
Comment fusionner des ontologies avec la réécriture de graphes ?
Cartes d'étapes d'études des diagrammes d'UML
Diva, une architecture pour le support des agents gestuels interactifs sur internet
Grids @ work: Middleware, Components, Users, Contest and Plugtests
Reproductibilité et répétabilité numérique. Constats, conseils et bonnes pratiques pour le cas des simulations stochastiques parallèles et distribuées
Guide virtuel autonome immergé dans un environnement réel dynamique. Architecture générale et application à la visite guidée d'un aquarium marin
Index des titres Volume 29/2010
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Interrogation efficace de ressources distribuées dans des systèmes de médiation
À la recherche des motifs corrélés. Proposition d'une nouvelle représentation concise exacte associée à la mesure bond
Typage des collections topologiques hétérogènes et des transformations
L'informatique, outil et objet d'enseignement. Entretien avec Jean-Pierre Archambault
Seuil d'approximation pour le modèle UET-UCT en présence d'une infinité de processeurs. Une preuve alternative
Modélisation à haut niveau d'abstraction pour les systèmes embarqués
Composition d'interfaces homme-machine en contexte. Approche par planification automatique
Automates cellulaires probabilistes et de la physique statistique
Agrégation et composition dans UML. Révision basée sur la théorie Tout-Partie
oRis : un environnement de simulation interactive multi-agents
Modéliser la diversité au cours du temps pour détecter le contexte dans un service de musique en ligne
Agents assistants personnels dans les systèmes multi-agents mixtes - Réalisation sur la plate-forme OMAS
Du collectif pour la satisfaction individuelle : un modèle d'auto-organisation
Un nouveau regard sur la machine logique de Jevons (1870). Une machine à nombre fini d'états
Recherche - SPPoC: manipulation automatique de polyèdres pour la compilation
Méthodologie de construction des ontologies pour la résolution de conflits des systèmes d'information
Implantation de SBDS en GNU Prolog
Stratégie de couverture de test à un haut niveau d'abstraction
Évaluation de politiques d'adaptation au risque de collisions dans un consensus de type « Fast Paxos »
Seuil d'approximation pour un problème d'ordonnancement en présence de communications hiérarchiques
Expérimentations en Coq pour un générateur de code qualifiable
Coordination spatiale émergente par champs de potentie
Architectures de systèmes pour l'informatique diffuse
Modélisation de réseaux biologiques discrets en programmation logique par contraintes
Agrégation de traces d'exécution pour la visualisation de grands systèmes distribués
Créativité émergente centrée utilisateur
Conception et simulation d'un planificateur adaptatif de chemin pour le routage de données dans un réseau
Autour de l'autostabilisation. 1. Techniques généralisant l'approche
La validation de modèles Event-B avec le plug-in ProB pour RODIN
Analyse des langues des signes. Démarche de conception pluridisciplinaire d'outils d'analyse de discours en langues des signes
Raffinement de modèles topologiques en B événementiel. Des droites aux 2-G-cartes
Laissez-les vivre ! La codépendance temporelle comme clé de l'apprentissage de comportements chez un animat
ADELFE : atelier de développement de logiciels à fonctionnalité émergente
Modélisation de la sreté de fonctionnement basée sur le langage AADL et les RdPSG
Group-nets et réseaux lexicographiques. Expressivité et décidabilité
Une approche fondée sur l'IDM pour le développement d'un environnement de production journalistique
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique
Adaptation d'une application multimédia par un code mobile
Les interfaces cerveau-ordinateur. Conception et utilisation en réalité virtuelle
À la croisée de l'ingénierie de l'interaction homme-machine et de l'ingénierie dirigée par les modèles
Impact de choix d'implantation sur les performances d'une application de contrôle-commande
Cnam. Un lieu d'accueil, de débat et d'institutionnalisation pour les sciences et techniques de l'informatique
Connaissez-vous l'Association française d'informatique musicale ? (AFIM)
Résolution multi-agent d'un problème de tournées de véhicules
Un modèle abstrait de composants adaptables
Saturne. Une architecture pour mesurer les performances des classes de service IP
Observation et analyse de comportements des utilisateurs à base de traces. Analyse des activités sur simulateurs pleine échelle de conduite de centrale nucléaire
Propriétés de vivacité dans les systèmes B. Application à l'algorithme de Ricart-Agrawala
Approches discrètes pour l'analyse d'images
Une bibliothèque certifiée de programmes fonctionnels BSP
Compilation modulaire d'un langage synchrone Spécification, simulation, implémentation et vérification d'applications synchrones
Autostabilisation et protocoles réseau
Empaquetâches de tolérance aux fautes pour les systèmes temps réel
Analyse qualitative de la dynamique de réseaux de régulation génique par des modèles linéaires par morceaux
Construction de tests qualifiés de transformations de modèles
Modélisation volumique de bois par simulation de croissance
Spécifications formelles du chanfreinage
Chronique. ARCHITECTE D'ORDINATEURS AUJOURD'HUI. Quelques réflexions sur les challenges actuels
Les réseaux de régulation biologique : rencontre entre biologie et informatique. Production de mucus chez P. aeruginosa
Classification du signal vocal basée sur le spectre à multirésolution
Évaluation polynomiale en-ligne de fonctions élémentaires sur FPGA
"Model Checking" symbolique de réseaux biochimiques
Un outil de prédiction dynamique de performances dans un environnement de metacomputing
Production de requêtes SPARQL à partir de mots-clés et de patrons de requêtes
DSSV-méthodologie. Approche de validation d'applications logicielles à l'aide de la modélisation et la simulation à évAnements discrets
Auto-réparation et auto-optimisation des applications pervasives. Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels
A Hybrid MIP-CP Algorithm for a Linked Planning and Scheduling Problem from Chemical Industry
Méthode de caractérisation des architectures d'accélérateurs flexibles pour systèmes sur puce
Exploration de l'espace des solutions architecturales dans le codesign
Raffiner pour vérifier des systèmes paramétrés
Fouille de données issues d'études psychologiques liées au vieillissement. Extraction de règles graduelles
Application - Modélisation fractale des rentabilités boursières des marchés émergents
Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test
Nouvelles politiques pour la réservation explicite de ressources en avance
MVV : une plate-forme à composants dynamiquement reconfigurables. La machine virtuelle virtuelle
Modélisation de coiffures naturelles à partir des propriétés physiques du cheveu
Entretien avec Serge Abiteboul
ARNUM. Art et recherche numérique
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule
Validation du contrôle d'accès dans des cartes à puce multiapplications
Équilibrage dynamique avec nombre variable de processeurs par une méthode de repartitionnement de graphe
Développement formel d'un vérifieur embarqué de byte-code Java
Méthodes de correction de retard dans les modèles RTL des systèmes monopuces DSP obtenus par assemblage de composants IP : fondement théorique et implémentation
Compression de phrases par élagage de leur arbre morpho-syntaxique. Une première application sur les phrases narratives
Représentation et manipulation de structures topologiques dans un langage fonctionnel
Classes de variables dans les CSP appliqués à la conception architecturale
Priority Inheritance Revisited. Towards the conformance of real-time protocols
Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires
Technique de réduction d'ordonnancements hors-ligne pour applications embarquAes à contraintes temps-réel. Optimisation hors-ligne d'ordonnancements temps-réel
Algorithme évolutionnaire interactif. Application au réglage automatique d'implant cochléaire
Optimisation de la construction d'une approximation de l'espace d'état des systèmes préemptifs
Une approche graphique pour l aide à la conception d applications temps réel ordonnançables
Humains virtuels et collaboration dans un environnement virtuel de formation
UML-TF, un profil pour la spécification des bases de données temporelles
Observer des algorithmes autostabilisants. Vers une valuation du co
Les bases de données dans les réseaux de capteurs sans fil
Application of Artificial Neural Network and Genetic Algorithm to Healthcarewaste Prediction
A MLMVN with Arbitrary Complex-Valued Inputs and a Hybrid Testability Approach for the Extraction of Lumped Models Using FRA
A Novel Approach to Type-Reduction and Design of Interval Type-2 Fuzzy Logic Systems
Detecting Driver's Fatigue, Distraction and Activity Using a Non-Intrusive Ai-Based Monitoring System
On-Line Signature Partitioning Using a Population Based Algorithm
Agent-Based Dispatching Enables Autonomous Groupage Traffic
Training CNN Classifiers Solely on Webly Data
Autonomous Viewpoint Selection of Robot Based on Aesthetic Evaluation of a Scene
An Nlp-Based Approach for Improving Human-Robot Interaction
Adaptive Separation Fusion: A Novel Downsampling Approach in CNNS
Supposed Maximum Mutual Information for Improving Generalization and Interpretation of Multi-Layered Neural Networks
A Machine Learning Approach for the Segmentation of Driving Maneuvers and its Application in Autonomous Parking
Self-Assimilation for Solving Excessive Information Acquisition in Potential Learning
Swarm Algorithms for NLP - The Case of Limited Training Data
Accelerating User Profiling in E-Commerce Using Conditional GAN Networks for Synthetic Data Generation
On Merging and Dividing Social Graphs
A Practical Statistical Approach to the Reconstruction Problem Using a Single Slice Rebinning Method
Characterization of Symbolic Rules Embedded in Deep DIMLP Networks: A Challenge to Transparency of Deep Learning
Bending Path Understanding Based on Angle Projections in Field Environments
A New Approach to Detection of Changes in Multidimensional Patterns - Part II
Chestxgen: Dynamic Memory-Augmented Vision-Language Transformer with Context-Aware Gating for Radiology Report Generation
A Novel Approach for Automatic Detection and Classification of Suspicious Lesions in Breast Ultrasound Images
Advanced Traffic Signal Control System Using Deep Double Q-Learning with Pedestrian Factors
Automatic Extractive and Generic Document Summarization Based on NMF
Input-To-State Stable Sampled-Data Synchronisation Of Markovian Jump Lur'e Networks Under Actuator Saturation
On Graph Mining With Deep Learning: Introducing Model R for Link Weight Prediction
MIDACO Parallelization Scalability on 200 MINLP Benchmarks
Order Estimation of Japanese Paragraphs by Supervised Machine Learning and Various Textual Features
A Novel Explainable AI Model for Medical Data Analysis
Chaotic States Induced By Resetting Process In Izhikevich Neuron Model
Information Technology for Comprehensive Monitoring and Control of the Microclimate in Industrial Greenhouses Based on Fuzzy Logic
Score Level and Rank Level Fusion for Kinect-Based Multi-Modal Biometric System
A Parametric Testing Of The Firefly Algorithm In The Determination Of The Optimal Osmotic Drying Parameters Of Mushrooms
On the Influence of Topological Characteristics on Robustness of Complex Networks
Group Decision Making using Interval-Valued Intuitionistic Fuzzy Soft Matrix and Confident Weight of Experts
Ranking of Alternatives Described by Atanassov's Intuitionistic Fuzzy Sets - Reconciling Some Misunderstandings
A New Mechanism for Data Visualization with Tsk-Type Preprocessed Collaborative Fuzzy Rule Based System
A Hybrid Equilibrium Optimizer Based on Moth Flame Optimization Algorithm to Solve Global Optimization Problems
A New Approach to Detection of Changes in Multidimensional Patterns
A Data Mining Approach To Improve Military Demand Forecasting1
A New Auto Adaptive Fuzzy Hybrid Particle Swarm Optimization and Genetic Algorithm
Decision-Making Enhancement in a Big Data Environment: Application of the K-Means Algorithm to Mixed Data
Complex-Valued Associative Memories with Projection and Iterative Learning Rules
Remaining Useful Life Prediction with Uncertainty Quantification Using Evidential Deep Learning
Simulation and Experimental Evaluation of the EKF Simultaneous Localization and Mapping Algorithm on the Wifibot Mobile Robot
Pixel-Based Clustering for Local Interpretable Model-Agnostic Explanations
Kernel Analysis for Estimating the Connectivity of a Network with Event Sequences
Fast Computational Approach to the Levenberg-Marquardt Algorithm for Training Feedforward Neural Networks
Towards Explainable Classifiers Using the Counterfactual Approach - Global Explanations for Discovering Bias in Data
MapReduce and Semantics Enabled Event Detection using Social Media
Gain Design of Quasi-Continuous Exponential Stabilizing Controller for a Nonholonomic Mobile Robot
S 3 diff: Semantic Fusion and Structure-Guided Global Generation from a Single Image with Diffusion Models
Evolutionary Algorithm with a Configurable Search Mechanism
An Analysis of the Performance of Genetic Programming for Realised Volatility Forecasting
Directed Evolution - A New Metaheuristc for Optimization
Synchronization Analysis of Inertial Memristive Neural Networks with Time-Varying Delays
Mittag-Leffler Synchronization of Generalized Fractional-Order Reaction-Diffusion Networks Via Impulsive Control