Skip to Main content Skip to Navigation


...
hal-00641048v1  Conference papers
Willemien Visser. Abandon d'un plan hiérarchique dans une activité de conception
Colloque scientifique MARI 87 Machines et Réseaux Intelligents - COGNITIVA 87, Centre d'études des systèmes et des technologies avancées (CESTA), 1987, Paris, France. pp.366-371
...
hal-00641401v1  Conference papers
Willemien Visser. Towards modelling the activity of design: An observational study on a specification stage
IFAC/IFIP/IEA/IFORS Conference on Man-Machine Systems. Analysis, Design and Evaluation, IFAC/IFIP/IEA/IFORS, Jun 1988, Oulu, Finland
...
hal-00643770v1  Conference papers
Pierre FalzonWillemien Visser. Variations in expertise: Implications for the design of assistance systems
HCI'89 - Third International Conference on Human-Computer Interaction, Sep 1989, Boston, United States. pp.121-128
...
hal-00643717v1  Conference papers
Willemien Visser. Acquisition de connaissances : L'approche de la psychologie cognitive illustrée par le recueil d'expertise en conception
JAC'90 - la "Journée Acquisition de Connaissances", Centre National d'Etudes des Télécommunications, en collab. avec PRC-GDR IA and APAST, Apr 1990, Lannion, France
...
hal-01348277v1  Conference papers
Patrick HenaffHolger SchwenkM. Milgram. A Neural Network Approach of the Control of Dynamic Biped Equilibrium
3rd International Symposium on Measurement and Control in Robotics (ISMCR '93), Sep 1993, Turin, Italy. pp.AS.II-19
hal-00869134v1  Conference papers
Narendra JussienPatrice Boizumault. Implementing Constraint Relaxation over Finite Domains using ATMS
Over-Constrained Systems, 1996, Unknown, pp.265--280
hal-00869133v1  Conference papers
Narendra JussienPatrice Boizumault. CSP dynamiques et Relaxation de Contraintes
CNPC'96: deuxième Conférence Nationale sur la résolution pratique de Problèmes NP-Complets, 1996, Dijon, France. pp.135--149
hal-00869135v1  Conference papers
Narendra JussienPatrice Boizumault. Maintien de Déduction pour la Relaxation de Contraintes
Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'96), 1996, Clermont-Ferrand, France. pp.239--253
hal-02496160v1  Conference papers
Bernard ClaverieHélène SauzéonVéronique Lespinet-NajibBernard N'Kaoua. Etude de l'âge d'apparition de l'altération des processus sémantiques intra- et inter-items au court du vieillissement
2ème Colloque "Sciences Cognitives" Façade Atlantique, Institut de Cognitique, Nov 1996, Biarritz, France
hal-00869131v1  Conference papers
Narendra JussienPatrice Boizumault. Best-first search for property Maintenance in reactive constraints systems
International Logic Programming Symposium, 1997, Port Jefferson, N.Y., United States. pp.339--353
hal-00869132v1  Conference papers
Narendra JussienPatrice Boizumault. Stratégies en Meilleur d'abord pour la relaxation de contraintes
Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'97), 1997, Orléans, France. pp.149--165
hal-00869128v1  Conference papers
Narendra JussienOlivier Lhomme. About avoidable computations in Interval methods
SCAN ― IMACS/GAMM international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, 1998, Budapest, Hungary. pp.66
hal-00869129v1  Conference papers
Narendra JussienOlivier Lhomme. Dynamic domain splitting for numeric CSP
European Conference on Artificial Intelligence, 1998, Brighton, United Kingdom. pp.224--228
hal-00869127v1  Conference papers
Narendra JussienOlivier Lhomme. L'algorithme Path-Repair
5ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'99), 1999, Lyon, France
...
hal-00089153v1  Conference papers
Olivier LebeltelJulien DiardPierre BessièreEmmanuel Mazer. A Bayesian framework for robotic programming
Twentieth International Workshop on Bayesian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2000), 2000, Paris, France
hal-00869124v1  Conference papers
Narendra JussienOlivier Lhomme. Local search with constraint propagation and conflict-based heuristics
Seventh National Conference on Artificial Intelligence ― AAAI'2000, 2000, Austin, TX, United States. pp.169--174
hal-00869125v1  Conference papers
Narendra JussienRomuald DebruynePatrice Boizumault. Maintien de la consistance d'arc dans Dynamic Backtracking
6ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'00), 2000, Unknown, pp.135--149
hal-00869126v1  Conference papers
Narendra JussienRomuald DebruynePatrice Boizumault. Maintaining Arc-Consistency within Dynamic Backtracking
Principles and Practice of Constraint Programming (CP 2000), 2000, Unknown, Singapore. pp.249--261
hal-00426243v1  Conference papers
Jean-Paul BanquetYves BurnodPhilippe GaussierArnaud Revel. A Hippocampal Model of Visually Guided Navigation as Implemented by a Mobile Agent
International Joint Conference on Neural Networks, 2000, France. pp.2041
...
hal-00112084v1  Conference papers
Frédéric LandraginBertrand GaiffeNadia BellalemLaurent Romary. Fusion de contraintes pour la synchronisation des modalités et pour la résolution des références dans un énoncé multimodal
Colloque sur les interfaces multimodales - 10 ans de multimodalité, May 2000, Grenoble, France. pp.17-20
hal-00869120v1  Conference papers
Hervé Albin-AmiotPierre CointeYann-Gaël GuéhéneucNarendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
16th IEEE conference on Automated Software Engineering (ASE'01), 2001, San Diego, United States. pp.166--173
hal-00869121v1  Conference papers
Yann-Gaël GuéhéneucNarendra Jussien. Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception
7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Toulouse, France. pp.111-122
hal-00869122v1  Conference papers
Narendra Jussien. Programmation par contraintes avec explications
7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Unknown, pp.147--158
hal-00869123v1  Conference papers
Narendra Jussien. Recherche locale et propagation de contraintes pour résoudre les problèmes d'Open-Shop
Troisièmes journées francophones de Recherche Opérationnelle (FRANCORO III), 2001, Québec, Canada
...
inria-00100576v2  Conference papers
Frédéric LandraginNadia BellalemLaurent Romary. Visual Salience and Perceptual Grouping in Multimodal Interactivity
First International Workshop on Information Presentation and Natural Multimodal Dialogue, 2001, Verona, Italy. pp.151-155
hal-00426255v1  Conference papers
Jean-Paul BanquetPhilippe GaussierArnaud RevelSorin MogaYves Burnod. Sequence Learning and Timing in Hippocampus, Prefrontal Cortex and Accumbens
International Joint Conference on Neural Networks, 2001, Washington, DC, United States. pp.1053-1058
hal-00869117v1  Conference papers
Yann-Gaël GuéhéneucRémi DouenceNarendra Jussien. No Java without Caffeine ― A tool for dynamic analysis of Java programs
17th IEEE conference on Automated Software Engineering (ASE'02), 2002, Edinburgh, UK, pp.117--126
hal-00869119v1  Conference papers
Samir OuisNarendra JussienOlivier Lhomme. Explications conviviales pour la programmation par contraintes
Journées Francophones de Progammation en Logique et avec Contraintes (JFPLC'02), 2002, Nice, France. pp.105--118
hal-00869118v1  Conference papers
Narendra JussienOlivier Lhomme. Vers une unification des algorithmes de résolution de CSP
8ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'02), 2002, Nice, France. pp.155--168
...
hal-00112772v1  Conference papers
Frédéric LandraginNadia BellalemLaurent Romary. Referring to Objects with Spoken and Haptic Modalities
Fourth IEEE International Conference on Multimodal Interfaces, 2002, Pittsburgh, PA, United States. pp.99-104
...
hal-00112778v1  Conference papers
Frédéric Landragin. The Role of Gesture in Multimodal Referring Actions
Fourth IEEE International Conference on Multimodal Interfaces, 2002, Pittsburgh, PA, United States. pp.173-178
hal-00426259v1  Conference papers
Jean-Paul BanquetPhilippe GaussierMathias QuoyArnaud RevelYves Burnod. Cortico-Hippocampal Maps and Navigation Strategies in Robots and Rodents
International conference on simulation of adaptive behavior on From animals to animats, 2002, France. pp.141 - 150
hal-00426262v1  Conference papers
Jean-Paul BanquetPhilippe GaussierMathias QuoyArnaud RevelYves Burnod. Place cells, maps, and navigation strategies: Processing steps of the cortico-hippocampal system
International Joint Conference on Neural Networks, IJCNN, 2002, Honolulu, HI, USA, United States. pp.1433-1438, ⟨10.1109/IJCNN.2002.1007727⟩
hal-00869113v1  Conference papers
Narendra JussienOlivier Lhomme. Combining Constraint Programming and Local Search to Design New Powerful Heuristics
5th Metaheuristics International Conference (MIC'2003), 2003, Kyoto, Japan
...
hal-00089247v2  Conference papers
Cedric PradalierFrancis ColasPierre Bessière. Expressing Bayesian Fusion as a Product of Distributions: Applications in Robotics
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2003, Las Vegas, United States. pp.1851--1856, ⟨10.1109/IROS.2003.1248913⟩
...
halshs-00136500v1  Conference papers
Frédéric Landragin. La saillance comme point de départ pour l'interprétation et la génération
Journée d'étude de l'Association pour le Traitement Automatique des Langues sur la structure informationnelle, 2003, Paris, France
...
inria-00466286v1  Conference papers
Eitan AltmanRachid ElazouziTania Jimenez. Slotted Aloha as a stochastic game with partial information
WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, Mar 2003, Sophia Antipolis, France. 9 p
...
halshs-00136514v1  Conference papers
Frédéric LandraginLaurent Romary. Referring to Objects Through Sub-Contexts in Multimodal Human-Computer Interaction
Seventh Workshop on the Semantics and Pragmatics of Dialogue (DiaBruck'03), Sep 2003, Saarbrücken, Germany. pp.67-74
hal-00869108v1  Conference papers
Hadrien CambazardFabien DemazeauNarendra JussienPhilippe David. Interactively solving school timetabling problems using extensions of constraint programming
Practice and Theory of Automated Timetabling (PATAT 2004), 2004, Pittsburgh, PA, United States. pp.107--124
hal-00869112v1  Conference papers
Mohammad GhoniemNarendra JussienJean-Daniel Fekete. VISEXP: visualizing constraint solver dynamics using explanations
FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004, Miami, Florida, United States. pp.263--268
...
halshs-00137045v1  Conference papers
Frédéric Landragin. L'utilisation de scores numériques en sémantique computationnelle
Journées Scientifiques de Sémantique et Modélisation (JSM'04), 2004, Lyon, France
hal-00426271v1  Conference papers
Jean-Paul BanquetYves BurnodPhilippe GaussierMathias QuoyArnaud Revel. Spatial representation versus navigation through hippocampal, prefrontal and ganglio-basal loops
International Joint Conference on Neural Networks, IJCNN, 2004, Budapest, Hungary, Hungary. pp.25-29
...
hal-01285959v1  Conference papers
Philippe LahireDidier ParigotCarine CourbisPierre CrescenzoEmanuel Ţundrea. An attempt to set the framework of Model-Oriented Programming
CONTI 2004 (6th Conference On Technical Informatics), May 2004, Timisoara, Romania. pp.71-76
...
hal-01855845v1  Conference papers
Jean BenvenutiLaure Berti-ÉquilleEric Jacopin. Le projet SABRE : de l’ontologie à l’inférence
15ièmes Journées Francophones d'Ingénieire des Connaissances (IC 2004), May 2004, Lyon, France
hal-00159899v1  Conference papers
Olivier BailleuxYacine Boufkhad. Full CNF Encoding: The Counting Constraints Case
The Seventh International Conference on Theory and Applications of Satisfiability Testing, May 2004, Vancouver, Canada
hal-00869106v1  Conference papers
Narendra Jussien. Constraint Programming for Software Engineering
Fifth Congress of Logic applied to Technology (LAPTEC'05), 2005, Himeji, Japan
hal-00869105v1  Conference papers
Hadrien CambazardNarendra Jussien. Identifying and exploiting problem structures using explanation-based constraint programming
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic. pp.94--109
hal-00012192v1  Conference papers
Florence Le BerMarc BenoîtMathieu CapitaineSylvie LardonPierre-Louis Osty et al.  Modélisation, comparaison et interprétation d'organisations spatiales agricoles
Actes du colloque "Société de l'information", 2005, Lyon, France. pp.194--198
...
hal-00340491v1  Conference papers
Olivier MichelJean-Pierre BanâtrePascal FradetJean-Louis Giavitto. Challenging Questions for the Rationals of Non-Classical Programming Languages
The Grand Challenge in Non-Classical Computation, 2005, The King's Manor, York, United Kingdom. pp.93--103
hal-00386343v1  Conference papers
Olivier MartinLaurence BoissieuxBenjamin JulianJean-Dominique GascuelClaude Prablanc. Posture-movement co-ordination when reaching in immersive visual virtual environment
XVIIth International Society for Gait and Posture Research Conference, May 2005, Marseille, France. pp.S19
...
hal-00655852v1  Conference papers
Nicolas PapadakisEtienne MéminFrederic Cao. A variational approach for object contour tracking
ICCV Workshop on Variational, Geometric and Level Set Methods in Computer Vision (VLSM'05), Oct 2005, Beijing, China. pp.259-270
inria-00421004v1  Conference papers
Anna KupśćJesse Tseng. A cross-linguistic approach to Slavic past tense and conditional constructions
Linguistic investigations into formal description of Slavic languages, Nov 2005, Potsdam, Germany
inria-00421002v1  Conference papers
Anna Kupść. Extraction automatique de termes à partir de textes polonais
4e Journées Linguistique de Corpus - JLC 4, 2006, Lorient, France
...
hal-00113362v1  Conference papers
Olivier Teytaud. How entropy-theorems can show that approximating high-dim Pareto-fronts is too hard
Bridging the Gap between Theory and Practice - Workshop PPSN-BTP, 2006, Reykjavik, Iceland
...
hal-00113368v1  Conference papers
Olivier TeytaudSylvain GellyStéphane LallichElie Prudhomme. Quasi-Random resamplings, with applications to rule-samplng, cross-validation and (su-)bagging
International Workshop on Intelligent Information Acces --- IIIA 2006, 2006, France