 |
 |
 |
|
|
||
|---|---|---|
| tel-01157160v1
Theses
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects Computation and Language [cs.CL]. Ministère de l'Education Nationale, de la Recherche et de Technologie, Rome, Italy, 1996. English |
||
| tel-00550829v1
Theses
Program Analysis and Transformation: From the Polytope Model to Formal Languages Networking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English |
||
| tel-00584109v1
Theses
Couplage mouvements articulées - vision stéréoscopique : une approche projective Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2001. English |
||
| tel-00406508v1
Theses
Network mobility support in IPv6 Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2001. English |
||
| tel-00084287v1
Theses
Analysis of probabilistic programs by abstract interpretation Software Engineering [cs.SE]. Université Paris Dauphine - Paris IX, 2001. English |
||
| tel-00469412v1
Theses
Composition of Software Architectures Computer Science [cs]. Université Rennes 1, 2002. English |
||
| tel-00457459v1
Theses
Variational Methods for Multimodal Image Matching Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2002. English |
||
| tel-00007405v1
Theses
Register Pressure in Instruction Level Parallelism Other [cs.OH]. Université de Versailles-Saint Quentin en Yvelines, 2002. English |
||
| tel-00584112v1
Theses
Estimation algorithms for ambiguous visual models : Three Dimensional Human Modeling and Motion Reconstruction in Monocular Video Sequences Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2002. English |
||
| tel-00406507v1
Theses
Quality of service in wireless local area networks Networking and Internet Architecture [cs.NI]. Université Joseph-Fourier - Grenoble I, 2002. English |
||
| tel-00378201v1
Theses
Distributed Artificial Intelligence And Knowledge Management: Ontologies And Multi-Agent Systems For A Corporate Semantic Web Web. Université Nice Sophia Antipolis, 2002. English |
||
| tel-01115023v1
Theses
Parameter estimation and performance analysis of several network applications Networking and Internet Architecture [cs.NI]. Univeristé Nice Sophia Antipolis, 2002. English |
||
| tel-00406509v1
Theses
Déploiement de service multicast dans des environnements hétérogènes Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2002. English |
||
| tel-00528758v1
Theses
Interactive Animation and Modeling by Drawing -- Pedagogical Applications in Medicine Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 2003. English |
||
| tel-00408686v1
Theses
Dynamic QoS Management in the Internet Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2003. English |
||
| tel-00408685v1
Theses
Optimization of Packet Forwarding in Best-effort Routers Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2003. English |
||
| tel-00832487v1
Theses
A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications Computational Geometry [cs.CG]. Université Nice Sophia Antipolis, 2003. English |
||
| tel-00457460v1
Theses
fMRI data analysis : statistics, information and dynamics Human-Computer Interaction [cs.HC]. Télécom ParisTech, 2003. English |
||
| tel-00576950v1
Theses
Reconstruction and Rendering of Implicit Surfaces from Large Unorganized Point Sets Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2003. English |
||
| tel-00832502v1
Theses
Topics in Surface Discretization Computational Geometry [cs.CG]. Ecole Polytechnique X, 2004. English |
||
| tel-00005172v1
Theses
Real-Time Dynamic Simulation and 3D Interaction of Biological Tissue: Application to Medical Simulators Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2004. English |
||
| tel-00405485v1
Theses
Application-Level Multicast Transmission Techniques Over The Internet Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble, 2004. English |
||
| tel-00006129v1
Theses
3D Modeling From Images Using Geometric Constraints Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2004. English |
||
| tel-00007132v1
Theses
MLF: An extension of ML with first-class polymorphism and implicit instantiation Other [cs.OH]. Ecole Polytechnique X, 2004. English |
||
| tel-00311830v1
Theses
An SSM-based communication architecture for large-scale virtual environments Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English |
||
| tel-00007150v2
Theses
Probabilistic model for distributed and concurrent systems. Limit theorems and application to statistical parametric estimation Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2004. English |
||
| tel-00007916v1
Theses
Application of the theory of the viscosity solutions to the Shape From Shading problem Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English |
||
| tel-00142441v1
Theses
Symbolic Test Generation for Reactive Systems with Data. Other [cs.OH]. Université Rennes 1, 2004. English |
||
| tel-00327560v1
Theses
Cue Integration and Front Evolution in Image Segmentation Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2004. English |
||
| tel-00136630v1
Theses
Weakly Relational Numerical Abstract Domains Software Engineering [cs.SE]. Ecole Polytechnique X, 2004. English |
||
| tel-00311798v1
Theses
Robust and reliable multimedia transmission over the Internet Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2004. English |
||
| tel-01749690v1
Theses
Completeness results and syntactic characterizations of complexity classes over arbitrary structures Other [cs.OH]. Institut National Polytechnique de Lorraine, 2004. English. ⟨NNT : 2004INPL112N⟩ |
||
| tel-00009813v1
Theses
Dynamic and Easily Manageable Approach for Secure IP VPN Environments Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2005. English |
||
| tel-00328084v1
Theses
Image-Based Capture and Rendering with Applications to Urban Planning Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00010892v1
Theses
Méthodes Variationelles pour des Modèles Fonction-Structure de Plantes : Identification de Paramètre, Contrôle et Assimilation de Données Modeling and Simulation. Université Joseph-Fourier - Grenoble I, 2005. English |
||
| tel-00328034v1
Theses
Towards a Cognitive Vision Platform for Semantic Image Interpretation; Application to the Recognition of Biological Organisms Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00178870v1
Theses
Web Usage Mining: Contributions to Intersites Logs Preprocessing and Sequential Pattern Extraction with Low Support Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00311788v1
Theses
Decoupling structure and appearance for example-driven detail synthesis Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00403607v1
Theses
Congestion Inference and Traffic Engineering in Networks Networking and Internet Architecture [cs.NI]. Université de Nice Sophia Antipolis, 2005. English |
||
| tel-00009757v1
Theses
Typed Groups for the Grid Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00010678v1
Theses
Security Schemes for the OLSR Protocol for Ad Hoc Networks Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2005. English |
||
| tel-03326667v1
Theses
Towards a computer imagination: Robust real-time 3D tracking of rigid and articulated objects for augmented reality and robotics Computer Vision and Pattern Recognition [cs.CV]. Université de Rennes I, 2005. English |
||
| tel-00362751v1
Theses
Fluid Models for Content Distribution Systems Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00328111v1
Theses
Markov chains and decision processes for congestion avoidance and power control Networking and Internet Architecture [cs.NI]. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00010545v1
Theses
Information Flow Security for Asynchronous, Distributed, and Mobile Applications Modeling and Simulation. Université Nice Sophia Antipolis, 2005. English |
||
| tel-00010910v1
Theses
Support à la Divergence dans les Communautés de Partage de Connaissance Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy I, 2005. English |
||
| tel-00011037v1
Theses
The graph rewriting calculus: properties and expressive capabilities Other [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2005. English |
||
| tel-00011138v1
Theses
Bayesian Approach to Action Selection and Attention Focusing. An Application in Autonomous Robot Programming. Other [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. English |
||
| tel-00457461v1
Theses
Methodological and applied contributions to the deformable models framework Human-Computer Interaction [cs.HC]. Ecole des Ponts ParisTech, 2005. English |
||
| tel-01171129v1
Theses
Robust codes and joint source-channel codes for multimedia transmission over mobile channels Signal and Image Processing. Université de Rennes 1, 2005. English |
||
|
|
||
