148 articles – 163 references  [version française]
.:. Browse > List by document type > Research report .:.
7 documents ordered by :
fulltext access Dense trajectories and motion boundary descriptors for action recognition
Wang H., Kläser A., Schmid C., Liu C.-L.
N° RR-8050 (2012) [hal-00725627 - version 2]
fulltext access Verifying Declarative Netlog Protocols with Coq: a First Experiment
Deng Y., Grumbach S., Monin J.-F.
N° RR-7511 (2011) [inria-00567811 - version 1]
fulltext access Towards Verifying Declarative Netlog Protocols with Coq
Deng Y., Grumbach S., Monin J.-F.
(2010) [inria-00506093 - version 1]
fulltext access Argument filterings and usable rules in higher-order rewrite systems
Suzuki S., Kusakari K., Blanqui F.
N° IEICE-TR-SS2010-24.Vol110.N169 (2010) [inria-00543160 - version 1]
fulltext access Automated Verification of Termination Certificates
Blanqui F., Koprowski A.
N° RR-6949 (2009) [inria-00390902 - version 1]
fulltext access The Dynamic Equations of the Tree Morphogenesis GreenLab Model
De Reffye P., Goursat M., Quadrat J.-P., Hu B.
N° RR-4877 (2003) [inria-00071706 - version 1]
fulltext access A physiological Plant Growth Simulation Engine Based on Accurate Radiant Energy Transfer
Soler C., Sillion F. X., Blaise F., De Reffye P.
N° RR-4116 (2001) [inria-00072514 - version 1]