Skip to Main content Skip to Navigation


...
hal-01148347v1  Journal articles
Alberto CiaffaglioneLuigi LiquoriMarino Miculan. Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
Journal of Automated Reasoning, Springer Verlag, 2007, Journal of Automated Reasoning, 39 (1), pp.1-47. ⟨10.1007/s10817-006-9061-y⟩
hal-00524758v1  Journal articles
Julien ForestDelia Kesner. Expression Reduction Systems with Patterns
Journal of Automated Reasoning, Springer Verlag, 2007, 39 (4), pp.513-541
lirmm-00112647v1  Journal articles
Marie-Laure MugnierMichel Leclère. On Querying Simple Conceptual Graphs with Negation
Data and Knowledge Engineering, Elsevier, 2007, 60 (3), pp.468-493
...
inria-00144566v2  Reports
José Grimm. Producing MathML with Tralics
[Research Report] RR-6181, INRIA. 2007, pp.88
...
hal-00767674v1  Conference papers
Christopher MeiPatrick Rives. Single View Point Omnidirectional Camera Calibration from Planar Grids
IEEE International Conference on Robotics and Automation (ICRA), Apr 2007, Rome, Italy. pp.3945-3950, ⟨10.1109/ROBOT.2007.364084⟩
...
tel-00207953v1  Theses
Delbé Christian. Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2007. Français
...
tel-00311741v1  Theses
Bernard Boulay. Human Posture Recognition for Behaviour
Other [cs.OH]. Université Nice Sophia Antipolis, 2007. English
...
tel-00406510v1  Theses
Mohamed Ali Kaafar. Securiting Internet coordinates systems
Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2007. English
...
tel-00260907v1  Theses
Gilles Chabert. Techniques d'intervalles pour la résolution de systèmes d'équations
Autre [cs.OH]. Université Nice Sophia Antipolis, 2007. Français
...
tel-00507418v1  Theses
Peter Horvath. The 'gas of circles' model and its application to tree crown extraction
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2007. English
hal-01350311v1  Journal articles
Rose Dieng-Kuntz. Le Web du futur
Interstices, INRIA, 2007
hal-01822494v1  Conference papers
Hacene CherfiOlivier CorbyCyril Masia-Tissot. RDF(S) and SPARQL Expressiveness in Engineering Design Patterns
IEEE/WIC/ACM International Conference on Web Intelligence, Nov 2007, Fremont, CA, United States
hal-01357382v1  Conference papers
Andrew I. ComportEzio MalisPatrick Rives. Accurate Quadri-focal Tracking for Robust 3D Visual Odometry
IEEE International Conference on Robotics and Automation, Apr 2007, Rome, Italy
lirmm-00195896v1  Conference papers
Christian BessièreRemi ColettaThierry Petit. Learning Implied Global Constraints
IJCAI'07: International Joint Conference on Artificial Intelligence, 2007, Hyderabad, India. pp.50-55