Search - INRIA - Institut National de Recherche en Informatique et en Automatique Access content directly

Filter your results

2 187 Results
Deposit type : Fulltext
Image document

Limiting laws associated with Brownian motion perturbed by its maximum, minimum and local time II

Bernard Roynette , Pierre P. Vallois , Marc Yor
Studia Scientiarum Mathematicarum Hungarica, 2006, 43 (3), pp.295-360
Journal articles hal-00012705v1
Image document

Calcul de formules affines et de séries entières en arithmétique exacte avec types co-inductifs

Yves Bertot
Journées Francophones des Langages Applicatifs, INRIA, Jan 2006, Pauillac, pp.41-55
Conference papers inria-00000480v1
Image document

Ambient Multimodality: towards Advancing Computer Accessibility and Assisted Living.

Noëlle Carbonell
Universal Access in the Information Society, 2006, 5/1, pp.96-104
Journal articles inria-00000694v1
Image document

SVM fonctionnels par interpolation spline

Nathalie Villa , Fabrice Rossi
Journée de Statistique de la SFdS, Société Française de Statistique, May 2006, Clamart (FR), France
Conference papers hal-04176653v1
Image document

Reactive concurrent programming revisited

Roberto M. Amadio , Gérard Boudol , Ilaria Castellani , Frédéric Boussinot
Express, Sep 2006, France. pp.49-60
Conference papers hal-00015838v1
Image document

Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b

Olivier Bournez , Garnier Florent , Claude Kirchner
[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Reports inria-00104120v1
Image document

GenI: Natural language generation in Haskell

Eric Kow
Haskell'06, Sep 2006, Portland/USA
Conference papers inria-00088787v2
Image document

Supervised neuronal approaches for EEG signal classification: experimental studies

Frédéric Alexandre , Nizar Kerkeni , Khaled Ben Khalifa , Mohamed Hédi Bedoui , Laurent Bougrain , et al.
The 10th IASTED International Conference on Artificial Intelligence and Soft Computing - ASC 2006, IASTED, Aug 2006, Palma de Mallorca/Spain
Conference papers inria-00103248v1
Image document

A library of Taylor models for PVS automatic proof checker

Francisco Cháves , Marc Daumas
Georgia Institute of Technology, 2006, Savannah, Georgia, pp.39-52
Conference papers hal-00018529v1
Image document

Extending the entry consistency model to enable efficient visualization for code-coupling grid applications

Gabriel Antoniu , Loïc Cudennec , Sébastien Monnet
[Research Report] PI 1779, 2006, pp.17
Reports inria-00001070v1
Image document

Computing the Kalman form

Clément Pernet , Aude Rondepierre , Gilles Villard
2006
Preprints, Working Papers, ... hal-00009558v4
Image document

Net systems semantics of Web Services Orchestrations modeled in Orc

Sidney Rosario , Albert Benveniste , Stefan Haar , Claude Jard
[Research Report] PI 1780, 2006
Reports inria-00001103v1
Image document

DLB: A Novel Real-time QoS Control Mechanism for Multimedia Transmission

Jian Li , Ye-Qiong Song
20th International Conference on Advanced Information Networking and Applications (AINA06), Apr 2006, Vienna, Austria
Conference papers inria-00108409v1
Image document

Modèles de Markov cachés et filtrage particulaire

Fabien Campillo
DEA. Université du Sud Toulon-Var, 2006
Lectures inria-00103752v1
Image document

Automatic Learning of Symbol Descriptions Avoiding Topological Ambiguities

Joan Mas Romeu , Bart Lamiroy , Gemma Sánchez , Josep Lladós
3rd Eurographics Workshop on Sketch-Based Interfaces and Modeling, European Association for Computer Graphics, Sep 2006, Vienne/Autriche
Conference papers inria-00104537v1
Image document

Merging Cellular Automata for Simulating Surface Effects

Stéphane Gobron , Denis Finck , Philippe Even , Bertrand Kerautret
7th International Conference on Cellular Automata For Research and Industry - ACRI 2006, Sep 2006, Perpignan, France. pp.94-103
Conference papers inria-00104539v1
Image document

Periodic Global Parameterization

Nicolas Ray , Wan Chiu Li , Bruno Lévy , Alla Sheffer , Pierre Alliez
ACM Transactions on Graphics, 2006, ⟨10.1145/1183287.1183297⟩
Journal articles inria-00104853v1
Image document

On a particular class of self-decomposable random variables : the durations of Bessel excursions straddling independent exponential times.

J. Bertoin , T. Fujita , Bernard Roynette , Marc Yor
2006
Preprints, Working Papers, ... hal-00104879v1
Image document

Optimal estimation for Large-Eddy Simulation of turbulence and application to the analysis of subgrid models

Antoine Moreau , Olivier Teytaud , Jean-Pierre Bertoglio
Physics of Fluids, 2006, 18, pp.105101. ⟨10.1063/1.2357974⟩
Journal articles hal-00078115v2
Image document

Efficient Learning in Games

Raghav Aras , Alain Dutech , François Charpillet
Conférence Francophone sur l'Apprentissage Automatique - CAP 2006, 2006, Trégastel, France
Conference papers inria-00102188v1
Image document

Apprentissage par Renforcement et Théorie des Jeux pour la coordination de Systèmes Multi-Agents

Alain Dutech , Raghav Aras , François Charpillet
Colloque Africain sur la Recherche en Informatique - CARI 2006, 2006, Cotonou/Bénin
Conference papers inria-00102192v1
Image document

Application-Aware Model for Peer Selection

Mohammad Malli , Chadi Barakat
[Research Report] RR-5587, INRIA. 2006, pp.19
Reports inria-00070420v1
Image document

Uplink dynamic discrete power control in cellular networks

Eitan Altman , Konstantin Avrachenkov , Gregory Miller , Balakrishna Prabhu
[Research Report] RR-5818, INRIA. 2006, pp.31
Reports inria-00070207v2
Image document

Shake Them Up! A movement-based pairing protocol for CPU-constrained devices

Claude Castelluccia , Pars Mutaf
[Research Report] RR-5457, INRIA. 2006, pp.28
Reports inria-00070549v1
Image document

Evaluation of multilingual text alignment systems: the ARCADE II project

Yun-Chuang Chiao , Olivier Kraif , Dominique Laurent , Thi Minh Huyen Nguyen , Nasredine Semmar , et al.
5th international Conference on Language Resources and Evaluation - LREC'06, May 2006, Genoa/Italy
Conference papers inria-00115670v1
Image document

Towards Formal Verification of Web Service Composition

Mohsen Rouached
4th International Conference on Business Process Management - BPM 2006, Sep 2006, Vienna/Austria, Austria. pp.257-273, ⟨10.1007/11841760_18⟩
Conference papers inria-00114012v1
Image document

Securing Web Service Compositions: Formalizing Authorization policies using Event Calculus

Mohsen Rouached , Claude Godart
4th International Conference on Service-Oriented Computing - ICSOC'06, Dec 2006, Chicago, USA, pp.440-446, ⟨10.1007/11948148_37⟩
Conference papers inria-00114026v1
Image document

Analysis of Composite Web Services using Logging Facilities

Mohsen Rouached , Claude Godart
Second International Workshop on Engineering Service-Oriented Applications: Design and Composition - WESOA'06, Dec 2006, Chicago, USA
Conference papers inria-00114029v1
Image document

From Proof nets to the Free *-Autonomous Categories

François Lamarche , Lutz Strassburger
Logical Methods in Computer Science, 2006, 2 (4:3), 44 p. ⟨10.2168/LMCS-2(4:3)2006⟩
Journal articles inria-00099865v2
Image document

An inexact conic bundle variant suited to column generation

Krzysztof C. Kiwiel , Claude Lemarechal
[Research Report] RR-6011, INRIA. 2006
Reports inria-00109402v2