423 résultats  enregistrer la recherche


inria-00100200v1  Communication dans un congrès
Daan BroederThierry DeclerckLaurent RomaryEric De La ClergerieMarkus Uneson et al.  A large Metadata Domain for Language Resources
4th International Conference on Language Resources and Evaluation - LREC'04, 2004, Lisbonne, Portugal, France. pp.369-372, 2004
...
hal-00150387v1  Article dans une revue
Maureen ClercStéphane MallatEstimating deformations of stationary processes
The Annals of Statistics, IMS, 2003, 31 (6), pp. 1772-1821. <10.1214/aos/1074290327>
hal-00925345v1  Communication dans un congrès
Jonathan HaymanTobias HeindelPattern Graphs and Rule-Based Models: The Semantics of Kappa
Frank Pfenning. FOSSACS - 16th International Conference on Foundations of Software Science and Computation Structures, Mar 2013, Rome, Italy. Springer, 7794, pp.1--16, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-37075-5>
hal-00925549v1  Communication dans un congrès
Jonathan HaymanFiltered compression for Kappa
Jérôme Feret and Andre Levchenko. SASB - 4th INternational Workshop on Static Analysis and Systems Biology, Jun 2013, Seattle, United States. Elsevier, 2014, 4th International Workshop on Static Analysis and Systems Biology
inria-00527548v1  Communication dans un congrès
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana PetrovAutomatic reduction of stochastic rules-based models in a nutshell
T.E. Simos. International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. American Institute of Physics, 1281(2), pp.1330-1334, 2010, American Institute of Physics conference proceedings; International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2010). <10.1063/1.3497965>
inria-00527536v1  Communication dans un congrès
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana PetrovCombining Model Reductions
Michael Mislove and Peter Selinger. the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. Elsevier, 265, pp.73--96, 2010, Electronic Notes in Theoretical Computer Science; Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2010). <10.1016/j.entcs.2010.08.006>
inria-00429871v1  Article dans une revue
Iasonas KokkinosRachid DericheOlivier FaugerasPetros MaragosComputational analysis and learning for a biologically motivated model of boundary detection
Neurocomputing / EEG Neurocomputing, Elsevier, 2008, 71 (10-12), pp.1798--1812
...
inria-00430198v1  Poster
F. Ben HassenMaureen ClercJuliette LeblondStéphane RigatM. ZghalInverse EEG source problems and approximation
Proceedings of Optimization and Inverse Problems in Electromagnetism (OIPE), Sep 2008, Ilmenau, Germany
hal-00925837v1  Communication dans un congrès
Michael BarnettMehdi BouazizFrancesco LogozzoManuel FähndrichA case for static analyzers in the cloud
Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS; Bytecode Semantics, Verification, Analysis, and Transformation
inria-00528632v1  Communication dans un congrès
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
Augusti Canal. the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China. 2010