 |
 |
 |
|
|
||
|---|---|---|
| inria-00074842v1
Reports
A Calculus for the random generation of combinatorial structures [Research Report] RR-1830, INRIA. 1993 |
||
| hal-01098499v1
Conference papers
Scheduling in the REAKT kernel : combining predictable and unbounded computations for maximising solution quality in real-time knowledge-based systems International Conference on Real-Time Systems (RTS'96), 1996, Paris, France |
||
| hal-01112891v1
Conference papers
A new algorithm for Automatic Word Classification based on an Improved Simulated Annealing Technique The 5th International Conference on the Cognitive Science of Natural Language Processing, 1996, Dublin, Ireland |
||
| hal-01184738v1
Journal articles
Compositing Computer and Video Image Sequences: Robust Algorithms for the Reconstruction of the Camera Parameters Computer Graphics Forum, Wiley, 1996, 15 (3), pp.10 |
||
| hal-01098490v1
Conference papers
Composing and Monitoring Non Deterministic Design-to-time Methods AAAI Fall Symposium on Flexible Computation in Intelligent Systems, Nov 1996, Boston, United States |
||
| hal-01112900v1
Conference papers
Towards an oral interface for data entry: The MAUD System European Research Consortium for Informatics and Mathematics User Interfaces for AII, 1997, Nancy, France |
||
| hal-01112905v1
Conference papers
An Hybrid Language Model for a Continuous Dictation Prototype 5th European Conference on Speech Communication and Technology, Sep 1997, Rhodes, Greece |
||
| inria-00098694v1
Conference papers
De la nécessité de l'intégration d'un modèle d'hippocampe dans une approche corticale de la sélection de l'action Neurosciences et Sciences pour l'Ingénieur, 1998, Munster, France. 4 p |
||
| hal-01112917v1
Conference papers
Variable-length class sequences based on a hierarchical approach: MCnv SPECOM 1998 - 3rd International Workshop on Speech and Computer, Oct 1998, Saint-Petersbourg, Russia |
||
| hal-00906470v1
Conference papers
Géométrie algorithmique pour la CAO et la conception optimale de robots 68ème Congrés ACFAS, May 2000, Montréal, Canada |
||
| hal-01436419v1
Reports
SCILAB to SCILAB// - The Ouragan Project [Research Report] RR-2001-24, LIP - ENS Lyon. 2001 |
||
| inria-00100916v1
Conference papers
Automated Unbounded Verification of Security Protocols 14th International Conference on Computer Aided Verification - CAV'2002, 2002, Copenhaguen, Denmark, pp.324-337 |
||
| inria-00107574v1
Conference papers
Development of Transformation Functions Assisted by a Theorem Prover Fourth International Workshop on Collaborative Editing 2002 - ACM CSCW'2002, 2002, Nouvelle-Orléans, USA, 8 p |
||
| inria-00071986v1
Reports
Automatic Approximation for the Verification of Cryptographic Protocols [Research Report] RR-4599, INRIA. 2002, pp.18 |
||
| hal-00956165v1
Journal articles
Texture Particles Computer Graphics Forum, Wiley, 2002, 21 (3), pp.401-410. ⟨10.1111/1467-8659.t01-1-00600⟩  |
||
| inria-00100796v1
Conference papers
Kernel-based extraction of Slow Features: Complex cells learn disparity and translation invariance from natural images Neural Information Processing Systems - NIPS'02, 2002, Vancouver, Canada, 8 p |
||
| inria-00071955v1
Reports
BDD-Driven First-Order Satisfiability Procedures (Extended Version) [Research Report] RR-4630, INRIA. 2002, pp.24 |
||
| inria-00107572v1
Conference papers
Real time registration of known or recovered multi-planar structures: application to AR 13th British Machine Vision Conference 2002 - BMVC'2002, 2002, Cardiff, United Kingdom, France. pp.567-576 |
||
| hal-01431507v1
Reports
A Scalable Approach to Network Enabled Servers [Research Report] RR-2002-21, LIP - ENS Lyon. 2002 |
||
| hal-01563654v1
Conference papers
Identification thématique hiérarchique : Application aux forums de discussions 9ème conférence annuelle sur le Traitement Automatique des Langues Naturelles - TALN'02, Jun 2002, Nancy, France. pp.24 - 27 |
||
| inria-00100915v1
Conference papers
The AVISS Security Protocol Analysis Tool 14th International Conference on Computer Aided Verification - CAV'2002, Jul 2002, Copenhaguen, Denmark, pp.349-353 |
||
| inria-00103879v1
Conference papers
Analyse Automatique de Protocoles de Sécurité avec CASRUL Sécurité et Architecture Réseaux - SAR'2002, Jul 2002, Marrackech, Maroc, Morocco |
||
| inria-00071721v1
Reports
Refinement and Verification of Synchronized Component-based Systems [Research Report] RR-4862, INRIA. 2003, pp.29 |
||
| inria-00104145v1
Journal articles
On the expressivity and complexity of quantitative branching-time temporal logics. Theoretical Computer Science, Elsevier, 2003, Theoretical Computer Science, 1-3 (297), pp.297-315. ⟨10.1016/S0304-3975(02)00644-8⟩  |
||
| inria-00107652v1
Conference papers
Proving Correctness of Transformation Functions in Real-Time Groupware 8th European Conference of Computer-supported Cooperative Work - ECSCW'03, 2003, Helsinki, Finland, 18 p |
||
| inria-00071812v1
Reports
Computing Approximations of Linear Transition Systems [Research Report] RR-4774, INRIA. 2003, pp.20 |
||
| inria-00071870v1
Reports
Using Acceleration to Compute Parameterized System Refinement [Research Report] RR-4716, INRIA. 2003, pp.18 |
||
| inria-00071889v1
Reports
An NP Decision Procedure for Protocol Insecurity with XOR [Research Report] RR-4697, INRIA. 2003, pp.22 |
||
| inria-00107740v1
Reports
Safe Generic Data Synchronizer [Intern report] A03-R-062 || molli03a, 2003, 8 p |
||
| inria-00099700v1
Conference papers
VOTE: Group Editors Analyzing Tool Fourth International Workshop on First-Order Theorem Proving - FTP'03, 2003, Valencia, Spain, pp.153-161, ⟨10.1016/S1571-0661(04)80660-1⟩ |
||
|
|
||
