.:. Consultation > Liste par type de document > Communications sans actes .:.

235 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4 - 5 - 6 - 7 ...

Probabilistic Sensitivity Analysis Santinelli L., Cucu-Grosjean L., George L. Dans RTSOPS 2011 - the 2nd International Real-Time Scheduling Open Problems Seminar (2011) [hal-00646999 - version 1]

Towards certification of TLA+ proof obligations with SMT solvers Merz S., Vanzetto H. Dans First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011 (2011) [hal-00645458 - version 1]

Frobenius Algebras and Classical Proof Nets Lamarche F., Novakovic N. Dans Fifth International Conference on Topology, Algebra and Categories in Logic - TACL 2011 (2011) [inria-00620126 - version 1]

Batch, Off-policy and Model-Free Apprenticeship Learning Klein E., Geist M., Pietquin O. Dans IJCAI Workshop on Agents Learning Interactively from Human Teachers (ALIHT 2011) (2011) 6 pages [hal-00596370 - version 1]

Workshop Proposal for Young Researchers' Roundtable on Spoken Dialogue Systems 2011 Qian S. Dans Young Researchers' Roundtable on Spoken Dialogue Systems 2011 (2011) [hal-00646845 - version 1]

The Inverse Multi-Objective \(0,1\)-Knapsack Problem under the Chebyshev Distance. Roland J., De Smet Y., Figueira J. Dans The 21st International Conference on Multiple Criteria Decision Making - MCDM 2011 (2011) [inria-00606429 - version 1]

Sorting areas in water distribution networks based on SMAA-TRI: a case study in Brazil Morais D. C., Almeida A. T., Figueira J. In The 21st International Conference on Multiple Criteria Decision Making - MCDM 2011 (2011) [inria-00606427 - version 1]

A Two State Reduction Based Dynamic Programming Algorithm for the Bi-Objective 0-1 Knapsack Problem Rong A., Figueira J., Pato M. V. Dans The 21st International Conference on Multiple Criteria Decision Making - MCDM 2011 (2011) [inria-00606424 - version 1]

Probabilistic analysis of periodic real-time tasks with random execution times on identical processors Cucu-Grosjean L. Dans 10th Workshop on Models and Algorithms for Planning and Scheduling Problems (2011) [inria-00584252 - version 1]

Towards a communication free coordination for multi-robot exploration Bautin A., Simonin O., Charpillet F. Dans 6th National Conference on Control Architectures of Robots (2011) 8 p. [inria-00599605 - version 1]