Skip to Main content Skip to Navigation

inria-00315920v1  Conference papers
Richard BonichonDavid DelahayeDamien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
inria-00189423v1  Conference papers
Laszlo SzathmaryAmedeo NapoliSergei Kuznetsov. ZART: A Multifunctional Itemset Mining Algorithm
5th International Conference on Concept Lattices and Their Applications (CLA '07), Oct 2007, Montpellier, France. pp.26--37
hal-00189131v1  Conference papers
Pierre GenevèsNabil LayaïdaAlan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees
Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
inria-00160400v1  Conference papers
Yannick ParmentierLaura KallmeyerTimm LichteWolfgang Maier. XMG: eXtending MetaGrammars to MCTAG
Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2007, Jun 2007, Toulouse, France. pp.473-482
lirmm-00196929v1  Conference papers
Fabien DuchateauZohra BellahseneEla Hunt. XBenchMatch: a Benchmark for XML Schema Matching Tools
VLDB'07: International Conference on Very Large Data Bases, pp.1318-1321
inria-00126474v2  Conference papers
Guillaume HanrotVincent LefèvreDamien StehléPaul Zimmermann. Worst Cases of a Periodic Function for Large Arguments
18th IEEE Symposium in Computer Arithmetic, Jun 2007, Montpellier, France. pp.133-140, ⟨10.1109/ARITH.2007.37⟩
inria-00384835v1  Conference papers
Antoine FrabouletGuillaume CheliusEric Fleury. Worldsens: development and prototyping tools for application specific wireless sensors networks
6th ACM/IEEE international conference on Information Processing in Sensor Networks (IPSN 2007), ACM/IEEE, Apr 2007, Cambridge, United States. pp.176-185, ⟨10.1145/1236360.1236385⟩
hal-01856374v1  Conference papers
Luciano P. SoaresClément MénierBruno RaffinJean-Louis Roch. Work Stealing for Time-constrained Octree Exploration: Application to Real-time 3D Modeling
Eurographics 2008 Symposium on Parallel Graphics and Visualization (EGPGV'08), 2007, Lugano, Switzerland. pp.61--68
inria-00432360v1  Conference papers
Stéphane WeissPascal UrsoPascal Molli. Wooki: A P2P Wiki-Based Collaborative Writing Tool
8th International Conference on Web Information Systems Engineering – WISE 2007, Dec 2007, Nancy, France. pp.503-512, ⟨10.1007/978-3-540-76993-4_42⟩
inria-00131878v1  Conference papers
Charles RobertRanmi Adigun. Wild, Wild Wikis: A way forward
The Fifth International Conference on Creating, Connecting and Collaborating through Computing - C5 '07, Jan 2007, Kyoto, Japan. pp.31-35
hal-02164968v1  Conference papers
Patrick MailléBruno Tuffin. Why VCG auctions can hardly be applied to the pricing of inter-domain and ad hoc networks
3rd EuroNGI conference on Next Generation Internet Networks,, May 2007, Trondheim, Norway. pp.36 - 39, ⟨10.1109/NGI.2007.371195⟩
hal-00171587v1  Conference papers
David RogerUlf AssarssonNicolas Holzschuch. Whitted Ray-Tracing for Dynamic Scenes using a Ray-Space Hierarchy on the GPU
Symposium on Rendering, Rendering Techniques 2007, Jun 2007, Grenoble, France. pp.99-110, ⟨10.2312/EGWR/EGSR07/099-110⟩
hal-00306307v1  Conference papers
Renaud Marlet. When the Generative Lexicon meets Computational Semantics
4th International Workshop on Generative Approaches to the Lexicon (GL 2007), May 2007, Paris, France
inria-00187782v1  Conference papers
Antoine JouxDavid NaccacheEmmanuel Thomé. When e-th Roots Become Easier Than Factoring
Advances in Cryptology -- ASIACRYPT 2007, Dec 2007, Kuching, Malaysia. pp.13-28, ⟨10.1007/978-3-540-76900-2_2⟩
inria-00505223v1  Journal articles
Jacques KleinFranck FleureyJean-Marc Jézéquel. Weaving Multiple Aspects in Sequence Diagrams
LNCS Transactions on Aspect-Oriented Software Development, Springer, 2007, LNCS 4620, pp.167-199
hal-01148523v1  Conference papers
Michel CosnardLuigi Liquori. Weaving Arigatoni with a graph topology
1sr International Conference on Advanced Engineering Computing and Applications in Sciences ADVCOMP 2007, Nov 2007, Papeete, French Polynesia. pp.55 - 59, ⟨10.1109/ADVCOMP.2007.11⟩
inria-00405958v1  Journal articles
Fabrice TheoleyreFabrice Valois. VSR: A Routing Protocol based on a Structure of Self-Organisation
Studia Informatica Universalis, Hermann, 2007, Special Issue on Mobile Ad-hoc Networks, 6 (1), pp.27-57
tel-00336379v1  Theses
Marie Samozino. Voronoi Centred Radial Basis Functions
Computer Science [cs]. Université Nice Sophia Antipolis, 2007. English
tel-00178274v1  Theses
Marie Samozino. Voronoi Centered Radial Basis Functions
Mathematics [math]. Université Nice Sophia Antipolis, 2007. English
inria-00149554v1  Conference papers
Mohamed NassarRadu StateOlivier Festor. Voip Honeypot Architecture
IM 2007 - Moving from Bits to Business Value, IFIP/IEEE, May 2007, Munich, Germany. pp.109-118
inria-00350654v1  Conference papers
Nicolas MansardOlivier StasseFrançois ChaumetteK. Yokoi. Visually-guided grasping while walking on a humanoid robot
IEEE Int. Conf. on Robotics and Automation, ICRA'07, 2007, Roma, Italy. pp.3041-3047
lirmm-00153855v1  Conference papers
D. AuberNoël NovelliGuy Melançon. Visually Mining the Datacube using a Pixel-Oriented Technique
IV'07: 11th International Conference on Information Visualisation, Jul 2007, londres, France
lirmm-00153838v1  Journal articles
Guy MelançonYves Chiricota. Visually mining relational data
International Review on Computers and Software (IRECOS), Praise Worthy Prize, 2007, 2 (3), pp.14
inria-00517962v1  Journal articles
Wen ZhengJun-Hai YongJean-Claude Paul. Visual Simulation of Multiple Unmixable Fluids
Journal of Computer Science and Technology, Iberoamerican Science & Technology Education Consortium, 2007, 22 (1), pp.156-160. ⟨10.1007/s11390-007-9021-y⟩
inria-00350641v1  Conference papers
Christophe CollewetFrançois Chaumette. Visual servoing on non-planar objects from active vision
IEEE Int. Conf. on Robotics and Automation, ICRA'07, 2007, Roma, Italy. pp.2446-2451
inria-00350637v1  Conference papers
O. BourquardezFrançois Chaumette. Visual servoing of an airplane for auto-landing
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'07, 2007, San Diego, CA, United States. pp.1314-1319
inria-00350635v1  Conference papers
O. BourquardezFrançois Chaumette. Visual Servoing of an Airplane for Alignment with respect to a Runway
IEEE Int. Conf. on Robotics and Automation, ICRA'07, 2007, Rome, Italy. pp.1330-1335
inria-00350794v1  Conference papers
R. Tatsambon FomenaFrançois Chaumette. Visual servoing from spheres with paracatadioptric cameras
Int. Conf. on Advanced Robotics, ICAR'07, 2007, Jeju, South Korea
inria-00350747v1  Conference papers
R. Tatsambon FomenaFrançois Chaumette. Visual servoing from spheres using a spherical projection model
IEEE Int. Conf. on Robotics and Automation, ICRA'07, 2007, Roma, Italy. pp.2080-2085
hal-00920418v1  Book sections
François Chaumette. Visual Servoing
Dombre, Etienne and Khalil, Wissama. Robot Manipulators: Modeling, Performance Analysis and Control, ISTE, pp.279-336, 2007
inria-00350638v1  Journal articles
François ChaumetteS. Hutchinson. Visual servo control, Part II: Advanced approaches
IEEE Robotics and Automation Magazine, Institute of Electrical and Electronics Engineers, 2007, 14 (1), pp.109-118
inria-00350645v1  Conference papers
A. DiosiF. SpindlerA. RemazeillesS. SegvicFrançois Chaumette. Visual path following using only monocular vision
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems (video session), IROS'07, 2007, San Diego, California, France. pp.2563-2564
hal-00343605v1  Book sections
Thierry NodenotPierre LaforcadeXavier Le Pallec. Visual design of coherent technology enhanced learning systems: a Few Lessons learned from CPM language
Luca Botturi ; Todd Stubbs. Handbook of Visual Languages for Instructional Design: Theories and Practices, IGI Global, pp.254-280, 2007, Information Science Reference
inria-00510252v1  Journal articles
Elmar EisemannXavier Décoret. Visibility Sampling on GPU and Applications
Computer Graphics Forum, Wiley, 2007, Special Issue: Eurographics 2007, 26 (3), pp.535-544. ⟨10.1111/j.1467-8659.2007.01076.x⟩
inria-00477559v1  Conference papers
Freddy MunozOlivier BaraisBenoit Baudry. Vigilant usage of Aspects
in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, 2007, Berlin, Germany, Germany
inria-00503076v1  Conference papers
Jose Luis Patino VilchisHamid BenhaddaEtienne CorveeFrancois BremondMonique Thonnat. Video-Data Knowledge Modelling & Discovery
4th IET International Conference on Visual Information Engineering, VIE 2007, Jul 2007, Londres, United Kingdom
hal-00171411v1  Journal articles
Adrien BousseauFabrice NeyretJoëlle ThollotDavid Salesin. Video Watercolorization using Bidirectional Texture Advection
ACM Transactions on Graphics, Association for Computing Machinery, 2007, 26 (3), pp.104-104:7. ⟨10.1145/1275808.1276507⟩
inria-00276936v1  Journal articles
Florent FusierValery ValentinFrancois BremondMonique ThonnatMark Borg et al.  Video Understanding for Complex Activity Recognition
Machine Vision and Applications, Springer Verlag, 2007, pp.167-188
hal-02420846v1  Conference papers
Julien Law-ToLi ChenAlexis JolyIvan LaptevOlivier Buisson et al.  Video Copy Detection: a Comparative Study
CIVR 2007, Jul 2007, Amsterdam, France