Skip to Main content Skip to Navigation


...
hal-01162532v1  Conference papers
Yves Moinard. Pointwise circumscription is equivalent to predicate completion (sometimes)
Fifth International Conference of Logic Programming (ICLP 88), Aug 1988, Seattle, United States
hal-01271151v1  Conference papers
Christine Morin. Building a Reliable Communication System Using High Speed Stable Storage
Proc of the 5th International Symposium on Computer and Information Sciences,, 1990, Cappadocia, Turquey, Turkey. pp.471--480
hal-01272465v1  Conference papers
Michel BanâtrePhilippe JoubertChristine MorinGilles MullerBruno Rochat et al.  Stable Transactional Memories and Fault Tolerant Architectures
Proc. of Fourth ACM SIGOPS European Workshop, Fault Tolerance Support in Distributed Systems, 1990, Bologna, Italy
hal-00008518v1  Books
Michèle BassevilleIgor Nikiforov. Detection of Abrupt Changes - Theory and Application
Prentice Hall, Inc. - http://people.irisa.fr/Michele.Basseville/kniga/, pp.550, 1993
...
hal-00852327v1  Journal articles
James LedouxGerardo RubinoBruno Sericola. Exact aggregation of absorbing Markov processes using quasi-stationary distribution
Journal of Applied Probability, Cambridge University press, 1994, 31 (3), pp.626-634. ⟨10.2307/3215143⟩
hal-00363234v1  Conference papers
Patrice BoizumaultChristelle GuéretNarendra Jussien. Efficient labeling and Constraint Relaxation for Solving Time Tabling Problems
ILPS'94 (post-conference workshop on Constraint Languages/Systems and their use in Problem Modeling), 1994, Munich, Germany
hal-00363235v1  Conference papers
Patrice BoizumaultChristelle GuéretNarendra Jussien. Énumération et relaxation en Programmation Logique avec Contraintes
Rencontres sur la résolution pratique des problèmes NP-complets, 1994, Montpellier, France
...
inria-00074287v1  Reports
Olivier Ridoux. Imagining CLP (Lambda, alphabeta)
[Research Report] RR-2388, INRIA. 1994
...
inria-00074238v1  Reports
Yvon Jégou. Exécution de codes irréguliers par migration de tâches
[Rapport de recherche] RR-2436, INRIA. 1994
hal-00765360v1  Conference papers
Jean-Marc JézéquelF. HamelinThierry Priol. A Multi-paradigm Object Oriented Parallel Environment
Int. Parallel Processing Symposium IPPS'94 proceedings, Apr 1994, RENNES, France
...
inria-00073967v1  Reports
André Seznec. Don't Use the Page Number, but a Pointer on It
[Research Report] RR-2727, INRIA. 1995
inria-00604074v1  Journal articles
Patrick Gros. Matching and Clustering: Two Steps Toward Automatic Object Modeling in Computer Vision
The International Journal of Robotics Research, SAGE Publications, 1995, 14 (6), pp.633-642. ⟨10.1177/027836499501400608⟩
...
hal-00706168v1  Books
Philippe BolonJean-Marc ChasseryJean-Pierre CocquerezDidier DemignyChristine Graffigne et al.  Analyse d'images : Filtrage et segmentation
Jean-Pierre Cocquerez; Sylvie Philipp. MASSON, 1995, Enseignement de la physique, 2-225-84923-4
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-00363153v1  Book sections
Christelle GuéretNarendra JussienPatrice BoizumaultChristian Prins. Building University timetables using Constraint Logic Programming
The Practice and Theory of Automated Timetabling, Springer-Verlag, pp.130-145, 1996, Lecture Notes in Computer Science
...
inria-00073720v1  Reports
Pierre MichaudAndré SeznecRichard Uhlig. Skewed Branch Predictors
[Research Report] RR-2978, INRIA. 1996
inria-00615767v1  Conference papers
Jay WestMichael FitzpatrickMatthew WangBenoit DawantCalvin Maurer et al.  Comparison and evaluation of retrospective intermodality image registration techniques
Medical Imaging 1996: Image Processing, Apr 1996, Newport Beach, California, USA, United States. ⟨10.1117/12.237936⟩
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-00856187v1  Journal articles
James LedouxGerardo Rubino. A counting model for software reliability analysis
International Journal of Modelling and Simulation, ACTA Press, 1997, 17, pp.289-297
...
halshs-01166206v1  Journal articles
Anne Olivier. Stratégies d’appropriation du logement à Brno : vers une différenciation sociale et spatiale des quartiers
Cahiers du CEFRES, Centre Français de Recherche en Sciences Sociales (CEFRES), 1997, Anciens et nouveaux propriétaires, pp.19
...
hal-03133628v1  Books
Roger Lewandowski. Analyse mathématique et océanographie
Elsevier Masson, 304 p., 1997, 2-225-85233-2
...
hal-00852084v1  Journal articles
James LedouxGerardo Rubino. Simple Formulas for Counting Processes in Reliability Models
Advances in Applied Probability, Applied Probability Trust, 1997, 29 (4), pp.1018-1038
...
inria-00073481v1  Reports
André Seznec. A New Case for Skewed-Associativity
[Research Report] RR-3208, INRIA. 1997
...
inria-00073555v1  Reports
Tommy Thorn. Programming Languages for Mobile Code
[Research Report] RR-3134, INRIA. 1997
hal-01933720v1  Book sections
Jacky MontmainMarie-Odile CordierChristophe DoussonLouise Travé-MassuyèsSylvie Cauvin et al.  Surveillance et interprétation d'alarmes en milieu industriel
Actes des 6emes Journées nationales du PRC-GDR Intelligence artificielle, Ed. Hermès, 1997
...
hal-01074722v1  Journal articles
Eric MarchandE. RuttenFrançois Chaumette. From data-flow task to multitasking: applying the synchronous approach to active vision in robotics
IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 1997, 5 (2), pp.200-216. ⟨10.1109/87.556025⟩
inria-00548355v1  Conference papers
Patrick GrosRoger MohrMarc GelgonPatrick Bouthemy. Indexation de vidéos par le contenu
COmpression et REprésentation des signaux Audiovisuels (CORESA '97), CNET, Mar 1997, Issy-les-Moulineaux, France
...
hal-01074761v1  Conference papers
Eric MarchandFrançois Chaumette. Active sensor placement for complete scene reconstruction and exploration
ICRA 1997 - IEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, France. pp.743 - 750, ⟨10.1109/ROBOT.1997.620124⟩
hal-01078559v1  Conference papers
Marc GelgonPatrick Bouthemy. A region-level graph labeling approach to motion-based segmentation
IEEE Int. Conf. on Computer Vision and Pattern Recognition (CVPR'1997), Jun 1997, San Jose, Puerto Rico. pp.514-519
inria-00615072v1  Journal articles
J. WestJ.M. FitzpatrickM.Y. WangB.M. DawantC.R. Maurer et al.  Comparison and evaluation of retrospective intermodality brain image registration techniques
Journal of Computer Assisted Tomography, Lippincott, Williams & Wilkins, 1997, 21 (4), pp.554-566
hal-00765503v1  Conference papers
Jean-Marc JézéquelThomas LeseneyJean-Lin PacherieJean-Louis PazatNaohito Sato et al.  Operators for object-oriented meta-computing
Proc. of the Second Workshop on Object-Based Parallel and Distributed Computation (OBPDC'97), Oct 1997, TOULOUSE, France
hal-00379555v1  Conference papers
Laurent BonnaudClaude Labit. Multiple Occluding Objects Tracking Using a Non-Redundant Boundary-Based Representation for Image Sequence Interpolation After Decoding
International Conference on Image Processing (ICIP '97), Oct 1997, Washington, DC, United States. pp.426-429
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
...
inria-00352563v1  Conference papers
Armel CrétualFrançois ChaumettePatrick Bouthemy. Complex object tracking by visual servoing based on 2D image motion
Int. Conf on Pattern Recognition, ICPR'98, 1998, Brisbane, Australia, Australia. pp.1251-1254
...
inria-00352562v1  Conference papers
Armel CrétualFrançois Chaumette. Image-based visual servoing by integration of dynamic measurements
IEEE Int. Conf. on Robotics and Automation, ICRA'98, 1998, Leuven, Belgium. pp.1994-2001
...
hal-01112912v1  Conference papers
I ZitouniK SmaïliS DeligneF Bimbot. A COMPARATIVE STUDY BETWEEN POLYCLASS AND MULTICLASS LANGUAGE MODELS
Proceedings of the Fifth International Conference on Spoken Language Processing, 1998, Sydney, Australia
...
inria-00073302v1  Reports
Ezio MalisFrançois ChaumetteSylvie Boudet. 2D 1/2 Visual Servoing
[Research Report] RR-3387, INRIA. 1998
...
inria-00352559v1  Journal articles
E. MarchandEric RuttenHervé MarchandFrançois Chaumette. Specifying and verifying active vision-based robotic systems with the Signal environment
The International Journal of Robotics Research, SAGE Publications, 1998, 17 (4), pp.418-432