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

Filter your results

1 177 Results
Deposit type : Notice

Special Varieties and classification Theory

Frederic Campana
Annales de l'Institut Fourier, 2004, 54 numéro 3, pp.499-665. ⟨10.5802/aif.2027⟩
Journal articles hal-00121807v1

EAST-ADL - An Architecture Description Language - Validation and Verification Aspects

Vincent Debruyne , Françoise Simonot-Lion , Yvon Trinquet
P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
Book sections inria-00100019v1

The Syntax of French de-N' Phrases

Anne Abeillé , Olivier Bonami , Danièle Godard , Jesse Tseng
11th International Conference on Head-Driven Phrase Structure Grammar - HPSG'2004, Frank Van Eynde, 2004, Leuven, Belgium, pp.6-26
Conference papers inria-00100023v1

Experiments on the accuracy of phone models and liaison processing in a French broadcast news transcription system

Dominique Fohr , Odile Mella , Irina Illina , Christophe Cerisara
8th International Conference on Spoken Language Processing - ICSLP'2004, 2004, Jeju, Corée du Sud
Conference papers inria-00100042v1

Using Linear Interpolation to Improve Histogram Equalization for Speech Recognition

Filipp Korkmazsky , Dominique Fohr , Irina Illina
8th International Conference on Spoken Language Processing - ICSLP'2004, 2004, Jeju, Corée du Sud, 4 p
Conference papers inria-00100044v1

Interprétations minimales et interprétations maximales

Claire Gardent
none. Interpréter en contexte, Hermès, 2004
Book sections inria-00100060v1

PROTEUS providing a concept for integrating online data into global maintenance strategies

Thomas Bangemann , Jean-Pierre Thomesse , Benoît Lepeuple , Christian Diedrich
2nd IEEE International Conference on Industrial Informatics - INDIN'2004, 2004, Berlin, Germany
Conference papers inria-00100063v1

FPNA: concepts and properties

Bernard Girau
Amos Omondi, Jagath Rajapakse. FPGA Implementations of Neural Networks, Kluwer Academic Publishers, pp.1-42, 2004
Book sections inria-00100072v1

La gestion distribuée avec SNMP - l'approche DISMAN

Emmanuel Nataf
Olivier Festor, André Schaff. Standards pour la gestion des réseaux et des services, Hermès Science Publishing, pp.37-75, 2004, IC2 Réseaux et Télécoms
Book sections inria-00100077v1

Implantation basse-consommation de cartes auto-organisatrices pour la détection de l'hypovigilance

Khaled Ben Khalifa , Bernard Girau , Mohamed Hedi Bedoui , Frédéric Alexandre , Radoslav Raytchev
14e congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle - RFIA'04, 2004, Toulouse, France, 10 p
Conference papers inria-00100084v1

Flow Shop Scheduling Problem with Limited Machine Availability: A Heuristic Approach

Riad Aggoune , Marie-Claude Portmann
International Journal of Production Economics, 2004, 26 p
Journal articles inria-00100097v1

A spiking neural network model of the locust antennal lobe: Towards neuromorphic electronic noses inspired from insect olfaction

Dominique Martinez , Etienne Hugues
J.W. Gardner and J. Yinon. Electronic noses and sensors for the detection of explosives, 14 (14), Kluwer Academic Publishers, pp.209-234, 2004, NATO Science Series
Book sections inria-00100108v1

Conception et programmation d'un serveur d'acquisition de données

Kamil Karbowiak
[Stage] A04-R-412 || karbowiak04a, 2004, 72 p
Reports inria-00100121v1

Quality-Of-Service Requirement Analysis

Raul Brito , Ye-Qiong Song , Liping Lu
[Contract] A04-R-440 || brito04b, 2004
Reports inria-00100132v1

Convex Scheduling for Grid Computing

Bruno Gaujal , G. Huard , Eric Thierry , Denis Trystram
1st Bertinoro Workshop on Algorithms for Scheduling and Communication - WASC 2004, 2004, Bertinoro/Italie, France
Conference papers inria-00100140v1

Automated Verification of Features with Situation Calculus

Pascal Urso , Pierre-Yves Schobbens
Formal Techniques for Networked and Distributed Systems - FORTE 2004, 2004, Madrid, Spain, 14 p
Conference papers inria-00100150v1

JMX : un standard pour la gestion Java

Olivier Festor , Laurent Andrey
Olivier Festor, André Schaff. Standards pour la gestion des réseaux et des services, Hermès Science Publishing, pp.213-250, 2004, IC2 Réseaux et Télécoms
Book sections inria-00100171v1

Knowledge organisation and information retrieval with Galois lattices

Laszlo Szathmary , Amedeo Napoli
14th International Conference on Engineering Knowledge in the Age of the Semantic Web (EKAW 2004), 2004, Whittlebury Hall, UK, pp.511--512
Conference papers inria-00100196v1

Metagrammar Redux

Benoît Crabbé , Denys Duchier
International Workshop on Constraint Solving and Language Processing - CSLP 2004, Sep 2004, Copenhagen, 16 p
Conference papers inria-00100203v1

Projet RNRT EQUAST ; SP2 Spécification incrémentale du système

Cyril Proch , Dominique Cansell , Dominique Mery
[Interne] A04-R-237 || proch04a, 2004
Reports inria-00100222v1

Two-Machine No-Wait Flowshop Scheduling Problem to Minimize Maximum Lateness with Separate Setup and Removal Times

Julien Fondrevelle , Ali Allahverdi , Ammar Oulamara
[Intern report] A04-R-406 || fondrevelle04c, 2004, 18 p
Reports inria-00100231v1

Towards a denotational semantics for the rho-calculus

Germain Faure , Alexandre Miquel
[Intern report] A04-R-464 || faure04a, 2004, 14 p
Reports inria-00100235v1

Exploring Security

Radu State
Lectures inria-00100241v1

Behavior of the Laplacian of Gaussian Extrema

Salvatore Tabbone , Laurent Alonso , Djemel Ziou
[Intern report] A04-R-033 || tabbone04a, 2004, 22 p
Reports inria-00100243v1

Une mesure de similarité sémantique pour la classification de documents par le contenu

Rim Al Hulou , Amedeo Napoli , Emmanuel Nauer
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2004, Numéro spécial L'objet, 10 (2--3), pp.217--230
Journal articles inria-00100248v1

A full Java Post-Graduate Curriculum

Jean-Pierre Jacquot
Conference on the Principles and Practice of Programming in Java - PPPJ'04, 2004, Las Vegas, Nevada, USA, pp.46-51
Conference papers inria-00100267v1

A Managed Bandwidth Reservation Protocol for Ad Hoc Networks

Claude Chaudet , Olivier Festor , Isabelle Guérin Lassous , Radu State
First International Workshop on Service Assurance with Partial and Intermittent Resources - SAPIR 2004, 2004, Fortaleza, Brazil, pp.13-20
Conference papers inria-00100271v1

Middleware for Global e-Maintenance

Hervé Guyennet , Christophe Lang , Xavier Rebeuf , Mario Thron
IEEE Mechatronics and Robotics - MechRob'2004, 2004, Aachen, Germany, 6 p
Conference papers inria-00100276v1

A System Towards Indian Postal Automation

Kaushik Roy , Umapada Pal , Szilárd Vajda , Bidyut Baran Chaudhuri
9th International Workshop on Frontiers in Handwriting Recognition - IWFHR-9 2004, 2004, Tokyo, Japon, 10 p
Conference papers inria-00100277v1

Building and analysing an integrative model of HIV-1 RNA alternative splicing

Alexander Bockmayr , Arnaud Courtois , Damien Eveillard , Myriam Vezain
International Conference on Computational Methods in Systems Biology - CMSB 2004, May 2004, Paris/France, pp.43--57, ⟨10.1007/b107287⟩
Conference papers inria-00000917v1