Skip to Main content Skip to Navigation


...
inria-00087226v5  Journal articles
Julien CarmeRémi GilleronAurélien LemayJoachim Niehren. Interactive Learning of Node Selecting Tree Transducers
Machine Learning, Springer Verlag, 2007, Machine Learning, 66 (1), pp.33-67. ⟨10.1007/s10994-006-9613-8⟩
...
inria-00172366v1  Conference papers
Jean-Pierre BarbotMichel FliessThierry Floquet. An algebraic framework for the design of nonlinear observers with unknown inputs
46th IEEE Conference on Decision and Control, 2007, New Orleans, United States
...
inria-00150207v1  Conference papers
Pierre-Arnaud CoquelinRémi Munos. Bandit Algorithms for Tree Search
Uncertainty in Artificial Intelligence, 2007, Vancouver, Canada
...
inria-00203359v1  Conference papers
Andras AntosRémi MunosCsaba Szepesvari. Fitted Q-iteration in continuous action-space MDPs
Neural Information Processing Systems, 2007, Vancouver, Canada
...
inria-00136198v2  Reports
Pierre-Arnaud CoquelinRémi Munos. Bandit Algorithms for Tree Search
[Research Report] RR-6141, INRIA. 2007, pp.20
...
inria-00203487v1  Conference papers
Jean-Yves AudibertRémi MunosCsaba Szepesvari. Tuning bandit algorithms in stochastic environments
Algorithmic Learning Theory, 2007, Sendai, Japan. pp.150-165
...
inria-00124833v1  Conference papers
Andras AntosCsaba SzepesvariRémi Munos. Value-Iteration Based Fitted Policy Iteration: Learning with a Single Trajectory
IEEE International Symposium on Approximate Dynamic Programming and Reinforcement Learning, 2007, Hawai, United States. pp.2007
...
inria-00001264v1  Conference papers
Alin BostanFrédéric ChyzakFrançois OllivierBruno SalvyÉric Schost et al.  Fast computation of power series solutions of systems of differential equations
2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021
...
hal-00493381v1  Journal articles
Nicolas CourtyThomas Corpetti. Crowd Motion Capture
Computer Animation and Virtual Worlds (selected best papers from CASA 2007), 2007, 18 (4--5), pp.361--370. ⟨10.1002/cav.v18:4/5⟩
...
inria-00144566v2  Reports
José Grimm. Producing MathML with Tralics
[Research Report] RR-6181, INRIA. 2007, pp.88
...
inria-00350019v1  Conference papers
Laurent BurgyLaurent RéveillèreJulia LawallGilles Muller. A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations
26th IEEE International Symposium on Reliable Distributed Systems, 2007, beijing, China
...
inria-00350032v1  Conference papers
W. JouveNoha IbrahimLaurent RéveillèreFrédéric Le MouëlCharles Consel. Building Home Monitoring Applications: From Design to Implementation into The Amigo Middleware
Proceedings of The Second International Conference on Pervasive Computing and Applications (ICPCA'07), 2007, Birmingham, United Kingdom
...
inria-00292043v1  Conference papers
Sandrine Blazy. Experiments in validating formal semantics for C
C/C++ Verification Workshop, 2007, Oxford, United Kingdom. pp.95-102
...
inria-00432448v1  Journal articles
Thierry CoquandArnaud Spiwack. A Proof of Strong Normalisation Using Domain Theory
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 16 p. ⟨10.2168/LMCS-3(4:12)2007⟩
...
inria-00473481v1  Journal articles
Esther PacittiPatrick ValduriezMarta Mattoso. Grid Data Management: Open Problems and New Issues
Journal of Grid Computing, Springer Verlag, 2007, 5 (3), pp.273-281
...
inria-00174160v1  Book sections
Jovan PehcevskiBirger Larsen. Relevance
Ling Liu and M. Tamer Özsu. Encyclopedia of Database Systems, Springer-Verlag, 2007
...
inria-00309525v1  Conference papers
Nicolas AnciauxMehdi BenzineLuc BouganimPhilippe PucheralDennis Shasha. GhostDB: Querying Visible and Hidden Data Without Leaks
26th International ACM Conference on Management of Data (ACM SIGMOD), Jan 2007, Beijing, China