Skip to Main content Skip to Navigation

tel-00265549v1  Theses
Dragisa Zunic. Computing with sequents and diagrams in classical logic - calculi *X, dX and ©X
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2007. English
hal-00817817v1  Conference papers
Antoine Zimmermann. Integrated distributed description logics
Proc. 20th International workshop on description logic (DL), 2007, Brixen/Bressanone, Italy. pp.507-514
inria-00477546v1  Conference papers
Tewfik ZiadiJean-Marc Jézéquel. PLiBS: an Eclipse-based tool for Software Product Line Behavior Engineering
3rd Workshop on Managing Variability for Software Product Lines (SPLC 2007), Sep 2007, Kyoto, Japan
inria-00202462v1  Conference papers
Ning ZhouWeiming DongJiaxin WangJean-Claude Paul. Modeling and Visualization of Flower Color Patterns
Proceedings of the Tenth International Conference on Computer Aided Design and Computer Graphics (CAD-CG'07), School of Electronics Engineering and Computer Science, Peking University, Oct 2007, Beijing, China. pp.150 - 155, ⟨10.1109/CADCG.2007.4407872⟩
inria-00179184v1  Journal articles
Gang ZhengDriss BoutatJean-Pierre Barbot. Single Output Dependent Observability Normal Form
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2007, 46 (6), pp.2242-2255. ⟨10.1137/050627137⟩
inria-00179222v1  Conference papers
Gang ZhengDriss BoutatJean-Pierre Barbot. Single output dependent quadratic observability normal form
NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, Aug 2007, Pretoria, South Africa. pp.432-437, ⟨10.3182/20070822-3-ZA-2920.00071⟩
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-00390313v1  Journal articles
Xinyu ZhangStephane RedonMinkyoung LeeYoung Kim. Continuous Collision Detection for Articulated Models using Taylor Models and Temporal Culling
ACM Transactions on Graphics, Association for Computing Machinery, 2007, 26 (3), pp.Article 15. ⟨10.1145/1276377.1276396⟩
inria-00338095v1  Conference papers
Linqiao ZhangHazel EverettSylvain LazardSue Whitesides. Towards an Implementation of the 3D Visibility Skeleton
23rd Annual Symposium on Computational Geometry, Jun 2007, Gyeongju, South Korea. pp.131 - 132, ⟨10.1145/1247069.1247094⟩
inria-00515531v1  Journal articles
Hui ZhangJun-Hai YongJean-Claude Paul. Adaptive geometry compression based on 4-point interpolatory subdivision schemes with labels
International Journal of Computer Mathematics, Taylor & Francis, 2007, 16p
inria-00186848v1  Conference papers
Rhaleb ZayerBruno LévyHans-Peter Seidel. Linear Angle Based Parameterization
Fifth Eurographics Symposium on Geometry Processing - SGP 2007, Jul 2007, Barcelone, Spain. pp.135-141
hal-01502145v1  Conference papers
Stéphane ZampelliYves DevilleChristine SolnonSébastien SorlinPierre Dupont. Filtering for Subgraph Isomorphism
13th International Conference on Principles and Practice of Constraint Programming (CP'2007), Sep 2007, Providence, United States. pp.728-742
inria-00590245v1  Conference papers
Andrei ZaharescuEdmond BoyerRadu Horaud. TransforMesh: a topology-adaptive mesh-based approach to surface evolution
ACCV 2007 - 8th Asian Conference on Computer Vision, Nov 2007, Tokyo, Japan. pp.166-175, ⟨10.1007/978-3-540-76390-1_17⟩
inria-00264903v1  Conference papers
Kuk-Jin YoonAmael DelaunoyPau GargalloPeter Sturm. Toward Global and Model based Multiview Stereo Methods for Shape and Reflectance Estimation
PACV 2007 - 1rst International Workshop on Photometric Analysis For Computer Vision, Oct 2007, Rio de Janeiro, Brazil. 8 p
inria-00132928v2  Reports
Ustun Yildiz. On Dead Path Elimination in Decentralized Process Executions
[Research Report] RR-6131, INRIA. 2007, pp.31
inria-00199713v1  Conference papers
Manuel YguelOlivier AycardChristian Laugier. Update Policy of Dense Maps: efficient algorithms and sparse representation
6th International Conference on Field and Service Robotics - FSR 2007, Jul 2007, Chamonix, France
inria-00181445v1  Journal articles
Manuel YguelOlivier AycardChristian Laugier. Efficient GPU-based Construction of Occupancy Grids Using several Laser Range-finders
International Journal of Vehicle Autonomous Systems, Inderscience, 2007, To Appear Spring
inria-00415920v1  Conference papers
Gaogang XieJianhua YangValérie IssarnyAlberto Conte. An Accurate and Efficient 3-Phase Measurement Method for IP Traffic Flow on High Speed Link
Sixth International Conference on Networking : ICN 2007, 2007, Sainte Luce, Martinique, France. pp.46
inria-00415922v1  Conference papers
Gaogang XieZhenyu LiValérie IssarnyAlberto Conte. Efficient soft QoS guarantee in mobile ad hoc networks
20th International Conference on Parallel and Distributed Computing Systems : ISCA PDCS 2007, 2007, Las Vegas, Nevada, United States. pp.120-126
inria-00415923v1  Conference papers
Gaogang XieGuangxing ZhangJianhua YangYinghua MinValérie Issarny et al.  Survey on Traffic of Metro Area Network with Measurement On-Line
International Teletraffic Congress, 2007, Ottawa, Canada. pp.666-677
inria-00201068v1  Conference papers
Peng WuCatuscia PalamidessiHuimin Lin. Symbolic Bisimulation for Probabilistic Systems
4th International Conference on the Quantitative Evaluation of SysTems (QEST), Sep 2007, Edinburgh, United Kingdom. pp.179-188, ⟨10.1109/QEST.2007.46⟩
inria-00337444v1  Conference papers
Jamie WitherFlorence Bertails-DescoubesMarie-Paule Cani. Realistic Hair from a Sketch
SMI '07 - IEEE International Conference on Shape Modeling International, Jun 2007, Lyon, France. pp.33-42, ⟨10.1109/SMI.2007.31⟩