Ident. | Authors (with country if any) | Title |
---|
000005 |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
000008 |
Thai V. Hoang [France] ; Elisa H. Barney Smith [États-Unis] ; Salvatore Tabbone [France] | Sparsity-based edge noise removal from bilevel graphical document images |
000010 |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000011 |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
000013 |
YING XIAO [France] ; Catherine Mignolet [France] ; Jean-François Mari [France] ; Marc Benoit [France] | Modeling the spatial distribution of crop sequences at a large regional scale using land-cover survey data: A case from France |
000015 |
Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France] | Kernel Additive Models for Source Separation |
000017 |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
000028 |
Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar] ; Dominique Herve [France] | Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches |
000031 |
Florent Delomier [France] ; Bertrand David [France] ; Cyril Benazet [France] ; René Chalon [France] | Learning Games Collaboratifs Contextualisés: Conception et mise en œuvre |
000032 |
SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie] | La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services |
000040 |
Olivier Sigaud [France] ; Freek Stulp [France] | Adaptation de la matrice de covariance pour l'apprentissage par renforcement direct |
000044 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
000046 |
Jean François Mari [France] ; EL GHALI LAZRAK [France] ; Marc Benoit [France] | Time space stochastic modelling of agricultural landscapes for environmental issues |
000058 |
B. Komac [Andorre] ; S. Kefi [France] ; P. Nuche [Espagne] ; J. Escos [Espagne] ; C. L. Alados [Espagne] | Modeling shrub encroachment in subalpine grasslands under different environmental and management scenarios |
000059 |
Marc Pons-Pons [Espagne, Andorre, Canada] ; Peter A. Johnson [Canada] ; Marti Rosas-Casals [Espagne] ; Barbara Sureda [Espagne] ; Eric Jover [Andorre] | Modeling climate change effects on winter ski tourism in Andorra |
000070 |
Karim Benouaret [France] ; Raman Valliyur-Ramalingam [France] ; François Charoy [France] | CrowdSC: Building Smart Cities with Large-Scale Citizen Participation : SMART CITIES |
000072 |
Phuc Ngo [France] ; Yukiko Kenmochi [France] ; Nicolas Passat [France] ; Hugues Talbot [France] | Combinatorial structure of rigid transformations in 2D digital images |
000074 |
Mauricio Cerda [Chili] ; Bernard Girau [France] | Asymmetry in neural fields: a spatiotemporal encoding mechanism |
000081 |
Didier Galmiche [France] ; Daniel Mery [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
000082 |
Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
000088 |
Olivier Alata [France] ; Christian Olivier [France] ; ZHAN JIN [France] ; Yannis Pousset [France] | Reconnaissance supervisée et non supervisée de lois à partir d'échantillons finis |
000095 |
Geoffray Bonnin [France] ; Armelle Brun [France] ; Anne Boyer [France] | Exploitation du skipping pour la modélisation prédictive des usages du web: Vers une meilleure prise en compte du bruit |
000096 |
Armelle Brun [France] ; Anne Boyer [France] | Détection de communautés d'intérêt et recommandation sociale par leaders |
000102 |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
000103 |
Bertrand Kerautret [France] ; Jacques-Olivier Lachaud [France] | Meaningful Scales Detection along Digital Contours for Unsupervised Local Noise Estimation |
000104 |
Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
000106 |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
000109 |
Noemie Schaller [France] ; El Ghali Lazrak [France] ; Philippe Martin [France] ; Jean-François Mari [France] ; Christine Aubry [France] ; Marc Benoit [France] | Combining farmers' decision rules and landscape stochastic regularities for landscape modelling |
000112 |
Yann Guermeur [France] | A generic model of multi-class support vector machine |
000116 |
Tomas Navarrete Gutierrez [France] ; Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | Impact des dimensions spatiale et temporelle dans la modélisation d'un phénomène collectif de type free-riding |
000119 |
M. Takruri [Australie] ; S. Rajasegarar [Australie] ; S. Challa [Australie] ; C. Leckie [Australie] ; M. Palaniswami [Australie] | Spatio-temporal modelling-based drift-aware wireless sensor networks |
000123 |
Van Luong Le [France] ; Gérard Bloch [France] ; Fabien Lauer [France] | Reduced-Size Kernel Models for Nonlinear Hybrid System Identification : DATA-BASED CONTROL MODELING AND OPTIMIZATION |
000129 |
FENG SUN [Hong Kong] ; Yi-King Choi [Hong Kong] ; WENPING WANG [Hong Kong] ; Dong-Ming Yan [Hong Kong, France, Arabie saoudite] ; YANG LIU [France, République populaire de Chine] ; Bruno Levy [France] | Obtuse triangle suppression in anisotropic meshes |
000135 |
Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES |
000136 |
Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
000140 |
Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France] | A logical framework for reasoning about delegation policies in workflow management systems |
000146 |
Luz-Maria Priego-Roche [France] ; Dominique Rieu [France] ; Agnès Front [France] | Vers une caractérisation intentionnelle des organisations virtuelles |
000149 |
Jean-Stéphane Ulmer [France] ; Jean-Pierre Belaud [France] ; Jean-Marc Le Lann [France] | Proposition d'une approche générique pour la formalisation et l'implémentation des processus |
000150 |
MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie] | Modélisation multidimensionnelle des versions de processus |
000151 |
Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France] | Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC |
000152 |
Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France] | Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation |
000153 |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
000154 |
Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
000155 |
Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France] | Fouille de workflow |
000159 |
Isabelle Mirbel [France] ; Pierre Crescenzo [France] | Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions |
000162 |
Jacques Simonin [France] ; Philippe Picouet [France] ; Jean-Marc Jezequel [France] | Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information |
000164 |
Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
000165 |
Jorge Luis Perez Medina [France] ; Sophie Dupuy-Chessa [France] ; Dominique Rieu [France] | Approche orientée services pour la construction des environnements de modélisation |
000171 |
Joris Rehm [France] | Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method |
000172 |
EL GHALI LAZRAK [France] ; Jean-François Mari [France] ; Marc Benoit [France] | Landscape regularity modelling for environmental challenges in agriculture |
000173 |
Abdel Belaïd [France] ; T. Moinel [France] ; Y. Rangoni [France] | Improved CHAID Algorithm for Document Structure Modelling |
000186 |
Sabine Barrat [France] ; Salvatore Tabbone [France] | A Bayesian network for combining descriptors: application to symbol recognition |
000200 |
Sami Bhiri [Irlande (pays)] ; Claude Godart [France] ; Olivier Perrin [France] | Patrons transactionnels pour assurer des compositions fiables de services web |
000201 |
Réjean Plamondon [Canada] ; Moussa Djioua [Canada] ; Christian O'Reilly [Canada] | La Théorie Cinématique des mouvements humains rapides: développements récents |
000211 |
Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | De l'intérêt du couplage de modèles pour appréhender les interactions utilisateurs/réseaux dynamiques |
000215 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | Caractérisation des délais dans les applications de supervision de réseaux et de services : Supervision et sécurité dans les grands réseaux |
000225 |
Olivier Buffet [France] ; Douglas Aberdeen [Suisse] | The factored policy-gradient planner |
000226 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | System-on-chip design by proof-based refinement |
000232 |
J. Fondrevelle [France] ; A. Oulamara [France] ; M.-C. Portmann [France] ; A. Allahverdi [Koweït] | Permutation flow shops with exact time lags to minimise maximum lateness |
000233 |
Oriol Ramos Terrades [Espagne] ; Ernest Valveny [Espagne] ; Salvatore Tabbone [France] | Optimal Classifier Fusion in a Non-Bayesian Probabilistic Framework |
000235 |
F. Le Ber [France] ; C. Lavigne [France] ; K. Adamczyk [France] ; F. Angevin [France] ; N. Colbach [France] ; J.-F. Mari [France] ; H. Monod [France] | Neutral modelling of agricultural landscapes by tessellation methods-Application for gene flow simulation |
000239 |
Randa Kassab [France] ; Frédéric Alexandre [France] | Incremental data-driven learning of a novelty detection model for one-class classification with application to high-dimensional noisy data |
000244 |
Jens Gustedt [France] ; Emmanuel Jeannot [France] ; Martin Quinson [France] | EXPERIMENTAL METHODOLOGIES FOR LARGE-SCALE SYSTEMS: A SURVEY |
000248 |
Dominique Barth [France] ; Johanne Cohen [France] ; Olivier Bournez [France] ; Octave Boussaton [France] | DISTRIBUTED LEARNING OF EQUILIBRIA IN A ROUTING GAME |
000250 |
Frederic Alexandre [France] | Cortical basis of communication : Local computation, coordination, attention |
000254 |
Frédéric Cazals [France] ; Marc Pouget [France] | Algorithm 889: Jet_fitting_3: A Generic C++ Package for Estimating the Differential Properties on Sampled Surfaces via Polynomial Fitting |
000255 |
Eduardo B. De Oliveira [France] ; Catherine Humeau [France] ; Latifa Chebil [France] ; Elaine R. Maia [Brésil] ; François Dehez [France] ; Bernard Maigret [France] ; Mohamed Ghoul [France] ; Jean-Marc Engasser [France] | A molecular modelling study to rationalize the regioselectivity in acylation of flavonoid glycosides catalyzed by Candida antarctica lipase B |
000259 |
Fabienne Venant [France] | Représentation géométrique et calcul dynamique du sens lexical : application à la polysémie de livre |
000260 |
BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
000266 |
Amine Boumaza [France] ; Bruno Scherrer [France] | Analyse d'un algorithme d'intelligence en essaim pour le fourragement |
000287 |
Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
000288 |
Jean-Marc Mota [France] ; Catherine Dubois [France] | Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes |
000294 |
Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France] | Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B |
000312 |
Eddie Soulier [France] ; Myriam Lewkowicz [France] | Simulation des pratiques collaboratives pour la conception des SI basés sur les processus métiers |
000321 |
Fabrice Jumel [France] ; Nicolas Navet [France] ; Francoise Simonot-Lion [France] | Impact de choix d'implantation sur les performances d'une application de contrôle-commande |
000323 |
Olivier Buffet [France, Australie] ; Alain Dutech [France] ; Francois Charpillet [France] | Etude de différentes combinaisons de comportements adaptatives |
000328 |
Salah Baïna [France] ; Hervé Panetto [France] ; Khalid Benali [France] | Apport de l'approche MDA pour une interopérabilité sémantique : Interopérabilité des systèmes d'information d'entreprise |
000329 |
Iadine Chades [France] | Algorithmes de co-évolution pour la résolution approchée de PDM multi-agent |
000330 |
Rahee Ghurbhurn [France] ; Philippe Beaune [France] ; Hugues Solignac [France] | Accès à des sources de données hétérogènes par des processus métiers intégrés |
000332 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
000339 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time constraint patterns for event B development |
000341 |
Olivier Bournez [France] ; Manuel L. Campagnolo [Portugal] ; Daniel S. Graqa [Portugal] ; Emmanuel Hainry [France] | The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation |
000342 |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
000343 |
Mathieu Turuani [France] | The CL-atse protocol analyser |
000350 |
Andrea Cerri [Italie] ; Daniela Giorgi [Italie] ; Pablo Muse [France] ; Frédéric Sur [France] ; Federico Tomassini [Italie] | Shape Recognition Via an a Contrario Model for Size Functions |
000353 |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Zalinescu [France] | Relating two standard notions of secrecy |
000356 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost sure termination under strategies |
000360 |
Sacha Krstulovic [France] ; Frédéric Bimbot [France] ; Olivier Boëffard [France] ; Delphine Charlet [France] ; Dominique Fohr [France] ; Odile Mella [France] | Optimizing the coverage of a speech database through a selection of representative speaker recordings |
000365 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On delays in management frameworks : Metrics, models and analysis |
000366 |
Ustun Yildiz [France] ; Olivier Perrin [France] ; Claude Godart [France] | On automating networked enterprise management |
000370 |
Bill Stoddart [France] ; Dominique Cansell [France] ; Frank Zeyda [France] | Modelling and proof analysis of interrupt driven scheduling |
000372 |
Stéphane Gobron [France] ; Denis Finck [France] ; Philippe Even [France] ; Bertrand Kerautret [France] | Merging cellular automata for simulating surface effects |
000373 |
Phong Q. Nguyen [France] ; Damien Stehle [France] | LLL on the Average |
000375 |
Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
000378 |
Yannick Chevalier [France] ; Michaël Rusinowitch [France] | Hierarchical combination of intruder theories |
000380 |
Lahcen Oubahssi [France] ; Monique Grandbastien [France] | From Learner Information Packages to Student Models : Which Continuum? |
000383 |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
000385 |
Pascal Fontaine [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] ; Leonor Prensa Nieto [France] ; Alwen Tiu [France] | Expressiveness + automation + soundness : Towards combining SMT solvers and interactive proof assistants |
000392 |
Nazim Fates [France] | Directed percolation phenomena in asynchronous elementary cellular automata |
000397 |
Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Deciding extensions of the theory of arrays by integrating decision procedures and instantiation strategies |
000398 |
Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France] | Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures |
000399 |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
000401 |
Véronique Cortier [France] ; Steve Kremer [France] ; Ralf Kusters [Suisse] ; Bogdan Warinschi [France] | Computationally sound symbolic secrecy in the presence of hash functions |
000404 |
ZOUHOUR NEJI BEN SALEM [Tunisie] ; Laurent Bougrain [France] ; Frcdcric Alexandre [France] | Comparison between two spatio-temporal organization maps for speech recognition |
000406 |
Gaurav Goel [France, Inde] ; Jens Gustedt [France] | Bounded arboricity to determine the local structure of sparse graphs |
000412 |
Claudia Diamantini [Italie] ; Nacer Boudjlida [France] | About Semantic Enrichment of Strategic Data Models as Part of Enterprise Models |
000421 |
Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France] | A bottom-up workflow mining approach for workflow applications analysis |
000423 |
Francois Charoy [France] ; Adnene Guabtni [France] ; Miguel Valdes Faura [France] | A Dynamic Workflow Management System for Coordination of Cooperative Activities |
000428 |
Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France] | Un système d'analyse de la qualité : de la norme au produit en passant par le raffinement |
000444 |
Olivier Menard [France] ; Frédéric Alexandre [France] ; Hervé Frezza-Buet [France] | Towards word semantics from multi-modal acoustico-motor integration : Application of the bijama model to the setting of action-dependant phonetic representations |
000446 |
Walid Gaaloul [France] ; Kalim Baïna [Maroc] ; Claude Godart [France] | Towards mining structural workflow patterns |
000449 |
Clara Bertolissi [France] | The graph rewriting calculus : Confluence and expressiveness |
000450 |
Peter Bürgisser [Allemagne] ; Felipe Cucker [Hong Kong] ; Paulin Jacobé De Naurois [France] | The complexity of semilinear problems in succinct representation |
000455 |
Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
000456 |
Murat Deviren [France] ; Khalid Daoudi [France] ; Kamel Smaïli [France] | Rethinking language models within the framework of dynamic bayesian networks |
000463 |
Olivier Bournez [France] ; Florent Garnier [France] | Proving positive almost-sure termination |
000464 |
Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France] | Probabilistic polynomial-time semantics for a protocol security logic |
000466 |
Sami Bhiri [France] ; Khaled Gaaloul [France] ; Olivier Perrin [France] ; Claude Godart [France] | Overview of transactional patterns : Combining workflow flexibility and transactional reliability for composite web services |
000468 |
Carlos Areces [France] ; Daniel Gorin [Argentine] | Ordered resolution with selection for H(@) |
000480 |
Slim Ouni [États-Unis] ; Yves Laprie [France] | Modeling the articulatory space using a hypercube codebook for acoustic-to-articulatory inversion |
000486 |
Shadi Al Shehabi [France] ; Jean-Charles Lamirel [France] | Knowledge extraction from unsupervised multi-topographic neural network models |
000494 |
Chevrier Vincent [France] | From self-organized systems to collective problem solving |
000498 |
Yves A. Papegay [France] ; Jean-Pierre Merlet [France] ; David Daney [France] | Exact kinematics analysis of Car's suspension mechanisms using symbolic computation and interval analysis |
000500 |
Marco Bozzano [Italie] ; Roberto Bruttomesso [Italie] ; Alessandro Cimatti [Italie] ; Tommi Junttila [Finlande] ; Silvio Ranise [France] ; Peter Van Rossum [Pays-Bas] ; Roberto Sebastiani [Italie] | Efficient satisfiability modulo theories via delayed theory combination |
000504 |
Frédéric Blanqui [France] | Decidability of type-checking in the calculus of algebraic constructions with size annotations |
000506 |
Dieu Donné Okalas Ossami [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquieres [France] | Consistency in UML and B multi-view specifications |
000507 |
Véronique Cortier [France] ; Bogdan Warinschi [États-Unis] | Computationally sound, automated proofs for security protocols |
000510 |
Pascal Fontaine [France] ; Silvio Ranise [France] ; Calogero G. Zarba [France] | Combining lists with non-stably infinite theories |
000513 |
Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
000516 |
Didier Galmiche [France] ; Daniel Mery [France] | Characterizing provability in BI's pointer logic through resource graphs |
000521 |
HUAIZHONG KOU [France] ; Amedeo Napoli [France] ; Yannick Toussaint [France] | Application of text categorization to astronomy field |
000524 |
Luciano P. Reis [Brésil, France] ; Albeno B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An architecture for collaborative geomodeling |
000526 |
Gregory Kucherov [France] ; Laurent Noe [France] ; Mikhail Roytberg [Russie] | A unifying framework for seed sensitivity and its application to subset seeds |
000530 |
Julien Vitay [France] ; Nicolas P. Rougier [France] ; Frédéric Alexandre [France] | A distributed model of spatial visual attention |
000531 |
Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | A contract-based approach for monitoring collaborative web services using commitments in the event calculus |
000532 |
Mohsen Rouached [France] ; Olivier Perrin [France] ; Claude Godart [France] | A contract layered architecture for regulating cross-organisational business processes |
000541 |
Franck Gechter [France] ; Vincent Chevrier [France] ; Francois Charpillet [France] | Un modèle de résolution de problèmes utilisant des agents réactifs pour la localisation et le suivi |
000544 |
Frédérique Peguiron [France] ; Odile Thiery [France] | Modéliser l'acteur dans le système d'information stratégique d'une université |
000547 |
Stéphane Goria [France] ; Philippe Geffroy [France] | Le modèle MIRABEL : un guide pour aider à questionner les Problématiques de Recherche d'Informations |
000550 |
Ghassan Chaddoud [France] ; Vijay Varadharajan [Australie] ; Isabelle Chrisment [France] ; Andre Schaff [France] | Gestion efficace de la sécurité des communications de groupe pour le service SSM |
000558 |
Philippe Dosch [France] ; Josep Llados [Espagne] | Vectorial signatures for symbol discrimination |
000566 |
Ernest Valvenyl [Espagne] ; Philippe Dosch [France] | Symbol recognition contest: A synthesis |
000599 |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-order matching in the linear λ-calculus with pairing |
000602 |
Dominique Barth [France] ; Johanne Cohen [France] ; Lynda Gastal [France] ; Thierry Mautor [France] ; Stéphane Rousseau [France] | Fixed size and variable size packet models in an optical ring network: Complexity and simulations |
000608 |
Yves Caniou [France] ; Emmanuel Jeannot [France] | Efficient scheduling heuristics for GridRPC systems |
000613 |
Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France] | Discovering workflow transactional behavior from event-based log |
000626 |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |
000636 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A performance-oriented management information model for the Chord peer-to-peer framework |
000638 |
Damien Eveillard [France] ; Delphine Ropers [France] ; Hidde De Jong [France] ; Christiane Branlant [France] ; Alexander Bockmayr [France] | A multi-scale constraint programming model of alternative splicing regulation |
000649 |
Guy De Fontguyon [France] ; Eric Giraud-Heraud [France] ; Larnia Rouached [France] ; Louis-Georges Soler [France] | Qualité des produits alimentaires et marques de filières |
000674 |
Imed Zitouni [France] ; Kamel Smaili [France] ; Jean-Paul Haton [France] | Statistical language modeling based on variable-length sequences |
000741 |
Laurent Prevot [France] ; Philippe Muller [France] ; Pascal Denis [France] ; Laure Vieu [France] | Une approche sémantique et rhétorique du dialogue. Un cas d'étude : l'explication d'un itinéraire |
000750 |
Brigitte Bigi [France] ; Kamel Smaïli [France] | Identification thématique hiérarchique : Application aux forums de discussions |
000754 |
Djamé Seddah [France] ; Evelyne Jacquey [France] | Conceptualisation d'un système d'informations lexicales, une interface paramétrable pour le T.A.L |
000757 |
Frédéric Landragin [France] ; Susanne Salmon-Alt [France] ; Laurent Romary [France] | Ancrage référentiel en situation de dialogue |
000759 |
Nicolas Maudet [France] | A la recherche de la structure intentionnelle dans le dialogue |
000770 |
B. Bigi [France] ; R. Demori [France] | Text segmentation using a cache memory |
000795 |
V. Y. Lunin [Russie, France] ; P. V. Afonine [France] ; A. G. Urzhumtsev [France] | Likelihood-based refinement. I. Irremovable model errors |
000819 |
Djamé Seddah [France] ; Jacquey Evelyne [France] | Conceptualization of a lexical information system, a skeletal interface for NLP |
000820 |
Amalia Todirascu [France] ; Laurent Romary [France] ; Dalila Bekhouche [France] | Combining syntax & ontologies for information extraction |
000824 |
Oliver Lemon [États-Unis] ; Alexander Gruenstein [États-Unis] ; Stanley Peters [États-Unis] | Collaborative activities and multi-tasking in dialogue systems: Towards natural dialogue with robots |
000830 |
Francois Baccelli [France] ; Bruno Gaujal [France] ; Daniel Simon [France] | Analysis of preemptive periodic real-time systems using the (max, plus) algebra with applications in robotics |
000856 |
Amos David [France] ; Odile Thiery [France] | Prise en compte du profil de l'utilisateur dans un Système d'Information Stratégique |
000861 |
Alain Trognon [France] ; Daniel Coulon [France] | La modélisation des raisonnements générés dans les interlocutions |
000866 |
Susanne Salmon-Alt [France] | Entre corpus et théorie : l'annotation (co)référentielle |
000924 |
David Langlois [France] ; Kamel Smaïli [France] ; Jean-Paul Haton [France] | A new method based on context for combining statistical language models |
000925 |
Jürgen Stuber [France] | A model-based completeness proof of extended narrowing and Resolution |
000928 |
Najoua Ben Amara [Tunisie] ; Abdel Belaïd [France] ; Noureddine Ellouze [Tunisie] | Utilisation des modèles markoviens en reconnaissance de l'écriture arabe : Etat de l'art |
000949 |
Christophe Choisy [France] ; Abdel Belaïd [France] | Apprentissage croisé en reconnaissance analytique de l'écriture manuscrite |
000A07 |
Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
000A31 |
M. Munier [France] ; K. Baïna [France] ; K. Benali [France] | A negotiation model for CSCW |
000A42 |
A. Mille [France] ; B. Fuchs [France] ; B. Chiron [France] | Raisonnement fondé sur l'expérience en supervision industrielle |
000A50 |
W. Visser [France] | Etudes en ergonomie cognitive sur la réutilisation en conception : quelles leçons pour le raisonnement à partir de cas ? |
000A55 |
S. Salotti [France] ; V. Ventos [France] | Approche formelle du raisonnement à partir de cas dans une logique de descriptions |
000A59 |
A. A. David [France] ; D. Bueno [France] | User modeling and cooperative information retrieval in information retrieval systems |
000A77 |
H. Naja [France] | Multiview databases for building modelling |
000A93 |
C. Cerisara [France] | Dealing with loss of synchronism in multi-band continuous speech recognition systems |
000A94 |
J. Lonchamp [France] | DOTS : A generic infrastructure for decision-oriented collaborative task support |
000A96 |
Jean-Paul Haton [France] | Connectionist and hybrid models for automatic speech recognition |
000B28 |
M. Bounab [Arabie saoudite] ; C. Godart [France] | Tool integration in distributed environments : an experience report in a manufacturing framework |
000B46 |
B. Comte [France] ; N. Hala [France] ; N. Mouaddib [France] ; J. Doury [France] ; D. Bourgeois [France] | Model of representation with multi-viewpoints purposes in oral health quality assurance |
000B84 |
M. Fayol [France] ; P. Largy [France] ; F. Ganier [France] | Le traitement de l'accord sujet-verbe en français écrit, le cas des configurations pronom1 pronom2 verbe |
000B90 |
D. Boudebous [France] ; Jean-Claude Derniame [France] ; J. Tankoano [France] | Démarche de structuration logique des systèmes temps réel répartis pour la commande de procédés industriels |
000C07 |
Y. Gong [France] | Stochastic trajectory modeling and sentence searching for continuous speech recognition |
000C32 |
I. Illina [France] ; Y. Gong [États-Unis] | Elimination of trajectory folding phenomenon : HMM, trajectory mixture HMM and mixture stochastic trajectory model |
000C50 |
E. Boyer [France] ; M.-O. Berger [France] | 3D surface reconstruction using occluding contours |
000C54 |
J. Jaray [France] ; A. Mahjoub [Tunisie] | Une méthode itérative de construction d'un modèle de système réactif |
000C55 |
H. Naja [France] ; Y. Lahlou [France] ; B. Comte [France] | Une approche basée sur les points de vue pour la modélisation et l'interrogation de données dentaires |
000C61 |
G. Castagna [France] | Le modèle fondé sur la surcharge : une visite guidée |
000C68 |
G. Simon [France] | Aides et explications dans un système de capitalisation de connaissances |
000C85 |
Jean-Claude Derniame [France] | Organizational modelling and management session |
000C87 |
A. B. Kaba [France] ; Jean-Claude Derniame [France] | Modelling processes for change : Basic mechanisms for evolving process fragments |
000C88 |
Z.-E.-A. Benaissa [France] ; Pierre Lescanne [France] ; K. H. Rose [Danemark] | Modeling sharing and recursion for weak reduction strategies using explicit substitution |
000C89 |
E. Dillon [France] ; J. Guyard [France] ; G. Wantz [Luxembourg (pays)] | MeDLey : An abstract approach to Message Passing |
000C93 |
M. Afify [France] ; Y. Gong [France] ; Jean-Paul Haton [France] | Estimation of mixtures of stochastic dynamic trajectories : application to continuous speech recognition |
000D18 |
J. Souquieres [France] ; R. Darimont | La description du développement de spécifications |
000D23 |
S. Ajila [France] | Software maintenance : an approach to impact analysis of objects change |
000D34 |
B. Simonnot [États-Unis] | A cooperation model for video document retrieval |
000D37 |
B. Fortier [France] ; J. Castex [France] ; J. L. Cohen [France, États-Unis] ; F. Loyer [France] ; J.-C. Depaule [France] ; A. Berque [France] ; O. Marcel [France] ; S. Ostrowetsky [France] ; F. Darve [France] ; J.-C. Paul [France] ; J.-P. Perrin [France] ; J.-C. Andre [France] ; S. Corbel [France] ; Y. Tsiomis [France] ; A. Leobon [France] ; J.-P. Peneau [France] ; R. Baudouï [France] ; B. Lassus [France] ; V. Biau [France] ; B. Haumont [France] | Formes et paysages |
000D50 |
Y. Gong [France] ; Jean-Paul Haton [France] | Plausibility functions in continuous speech recognition: The VINICS system |
000D57 |
G.-R. Perrin [France] ; J.-P. Finance [France] | Communication relations : a paradigm for parallel program design |