 |
 |
 |
|
|
||
|---|---|---|
| inria-00332390v1
Conference papers
A Characterization of NCk by First Order Functional Programs 5th International Conference on Theory and Applications of Models of Computation - TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩ |
||
| hal-00342323v1
Conference papers
A Logical Account of PSPACE Symposium on Principles of Programming Languages - POPL'08, Jan 2008, San Francisco, United States. pp.121-131 |
||
| hal-00337371v1
Conference papers
A test suite for inference involving adjectives sixth international conference on Language Resources and Evaluation, Jun 2008, Marrakech, Morocco. pp.19-27 |
||
| inria-00336333v1
Conference papers
A Toolchain for Grammarians Coling 2008, Aug 2008, Manchester, United Kingdom. pp.9-12 |
||
| inria-00326077v1
Conference papers
Abusing SIP Authentication Information Assurance and Security ( ISIAS), Sep 2008, Naples, Italy. pp.237-242, ⟨10.1109/IAS.2008.29⟩ |
||
| inria-00336239v1
Conference papers
Accommodation through tacit dialogue acts Journees Semantique et Modelisation, Universite de Toulouse, Apr 2008, Toulouse, France |
||
| inria-00336233v1
Conference papers
Accommodation through Tacit Sensing Workshop on the Semantics and Pragmatics of Dialogue - LONDIAL 2008, King's College of London, Jun 2008, London, United Kingdom. pp.75-82 |
||
| inria-00332550v1
Conference papers
Analyzing the Implicit Computational Complexity of object-oriented programs Annual Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India |
||
| inria-00376450v1
Conference papers
Automatic Methods for Analyzing Non-repudiation Protocole with an Active Intruder 5th International Workshop on Formal Aspects in Security and Trust - FAST 2008, Oct 2008, Malaga, Spain. pp.192-209, ⟨10.1007/978-3-642-01465-9_13⟩ |
||
| inria-00270922v1
Conference papers
Calculs d'unification sur les arbres de dérivation TAG TALN'08, 15ème Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. p. 320--329 |
||
| inria-00332389v1
Conference papers
Characterizations of Polynomial Complexity Classes with a Better Intensionality Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming - PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩ |
||
| inria-00329803v1
Conference papers
Closure of Hedge-Automata Languages by Hedge Rewriting 19th International Conference on Rewriting Techniques and Applications - RTA 2008, 2008, Hagenberg, Austria. pp.157-171, ⟨10.1007/978-3-540-70590-1_11⟩ |
||
| inria-00250111v3
Conference papers
Computing omega-limit Sets in Linear Dynamical Systems Unconventional Computation, Aug 2008, Vienne, Austria. pp.83--95, ⟨10.1007/978-3-540-85194-3_9⟩ |
||
| inria-00338062v1
Conference papers
Extended Recursion-Based Formalization of Virus Mutation EICAR'08, Jun 2008, Laval, France |
||
| hal-00336294v1
Conference papers
Extension et couplage de ressources syntaxiques et sémantiques sur les adverbes 27e Colloque international sur le lexique et la grammaire 2008, Sep 2008, L'Aquila, Italie. pp.0 |
||
| hal-00563422v1
Conference papers
Finer is better: Abstraction Refinement for Rewriting Approximations RTA'08, 19th international conference on Rewriting Techniques and Applications, Jul 2008, Hagenberg, Austria. pp.48--62, ⟨10.1007/978-3-540-70590-1⟩ |
||
| hal-00563293v1
Conference papers
Handling Left-Quadratic Rules When Completing Tree Automata 2nd Workshop on Reachability Problems in Computational Models - RP'08, Sep 2008, Liverpool, United Kingdom. pp.61--70, ⟨10.1016/j.entcs.2008.12.031⟩ |
||
| lirmm-00287659v1
Conference papers
In Situ Design of Register Operations ISVLSI: IEEE Symposium on Very-Large-Scale Integration, LIRMM, Apr 2008, Montpellier, France. pp.451-454, ⟨10.1109/ISVLSI.2008.62⟩ |
||
| hal-00337374v1
Conference papers
Integrating a unification-based semantics in a large scale Lexicalised Tree Adjoining Grammar for French The 22nd International Conference on Computational Linguistics, Aug 2008, Manchester, United Kingdom. pp.249-257 |
||
| inria-00336907v1
Conference papers
Interactive Simulation of Embolization Coils: Modeling and Experimental Validation Medical Imaging Computing and Computer Assisted Intervention -MICCAI'08, Sep 2008, New York City, United States. pp.695-702, ⟨10.1007/978-3-540-85988-8_83⟩ |
||
| inria-00553519v1
Conference papers
Large scale production of syntactic annotations for French First Workshop on Automated Syntactic Annotations for Interoperable Language Resources, ISO TC37/SC4, Jan 2008, Hong-Kong, Hong Kong SAR China |
||
| hal-00326876v1
Conference papers
Modélisation du principe d'ancrage pour la robustesse des systèmes de dialogue homme-machine finalisés Conférence sur le Traitement Automatique des Langues Naturelles - TALN 2008, Jun 2008, Avignon, France. pp.89-98 |
||
| inria-00330021v1
Conference papers
Morphological Detection of Malware International Conference on Malicious and Unwanted Software, Fernando C. Colon Osorio, Oct 2008, Alexendria VA, United States |
||
| inria-00202674v2
Conference papers
Reachability in linear dynamical systems Computability in Europe, Jun 2008, Athènes, Greece. pp.241-250, ⟨10.1007/978-3-540-69407-6_28⟩ |
||
| hal-00342366v1
Conference papers
Recursion Schemata for NCk 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, Sep 2008, Bertinoro, Italy. pp.49-63, ⟨10.1007/978-3-540-87531-4_6⟩ |
||
| inria-00336218v1
Conference papers
Réécriture et détection d'implication textuelle Traitement Automatique des Langues Naturelles - TALN 2008, Jul 2008, Avignon, France. pp.19-28 |
||
| inria-00321550v1
Conference papers
Refining the 3D surface of blood vessels from a reduced set of 2D DSA images AMI-ARCS 2008, PJ "Eddie" Edwards and Kensaku Mori and Tobias Sielhorst, Sep 2008, New York, NY, United States. pp.61-69 |
||
| hal-00336290v1
Conference papers
Sylva : plate-forme de validation multi-niveaux de lexiques Traitement Automatique des Langues Naturelles, Jun 2008, Avignon, France. pp.0 |
||
| hal-00563286v1
Conference papers
Teaching Model-Based Testing with {L}eirios {T}est {G}enerator FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138 |
||
| inria-00332484v1
Conference papers
Towards a Constrained-based Verification of Parameterized Cryptographic Protocols 18th International Symposium on Logic-Based Program Synthesis and Transformation - LOPSTR 2008, Jul 2008, Valence, Spain. pp.191-206 |
||
| inria-00288429v1
Conference papers
TuLiPA: A Syntax-Semantics Parsing Environment for Mildly Context-Sensitive Formalisms 9th International Workshop on Tree-Adjoining Grammar and Related Formalisms (TAG+9), Jun 2008, Tübingen, Germany. pp.121-128 |
||
| inria-00304605v1
Conference papers
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering 2nd Workshop on Grammar Engineering Across Frameworks, GEAF 2008, Stephen Clark, Oxford and Tracy Holloway King, PARC, Aug 2008, Manchester, United Kingdom. pp._ |
||
|
|
||
