Data Fusion for Linear Geographic Features Matching on SPOT Images
5me SYMPosium en Architectures de machines , Rennes, 08/06/99-11/06/99
Formalizing action and change in modal logic I: the frame problem
Fourth European Congress of Systems Science , Valencia Spain, 20/09/99-24/09/99
Total order planning is better than we thought
Intelligence Artificielle Situe, Cerveau, corps et environnement (IAS'99), Paris, France, 25/10/99-26/10/99
Reprsentation de la Smantique des Verbes de Dplacements Transitifs du Franais
Selecting preferred solutions in flexible dynamic programming
New languages for interoperable co-operative management platforms
Un Systme Multimdia Complet pour la documentation Technique Aronautique
Choix des solutions prfres pour la programmation dynamique flexible.
Belief dynamics in cooperative dialogues
The observation : an abstract communication mechanism
Intgration des Typages Fonctionnel et Concurrent d'un Langage Fonctionnel d'Acteurs
Comprhension robuste de la parole spontane par segments conceptuels
La Veille Scientifique par l'Analyse des Informations Ouvertes
Synthse de haut niveau d'un co-processeur pour le calcul des bases de Grbner
LUMIS'99. 5th European conference ECSQARU, London, 05/07/99-07/07/99
Connaissances structurelles et modles ncessaires la gnration de textes formats.
CSCC'99 - 3rd IMACS International Multiconference , Athnes - Grce, 04/07/99-08/07/99
Actes Rencontres Francophones sur la Logique Floue et ses Applications (LFA'99) , Valenciennes, 21/10/99-22/10/99
Mediterranean International Conference on Computer Systems , Tizi-Ouzou, 31/01/99-01/01/99
Laval virtual, first international virtual reality meeting , Laval, 03/06/99-06/06/99
http://www.irit.fr/ Philippe.Muller/Publis/ria99.ps.gz
Raisonnement spatial qualitatif : le cas du mouvement
5th UI4ALL Workshop (ERCIM Workshop) , Dagstuhl, Germany, 29/11/99-01/12/99
A Speaker Independent Continuous Speech Segmentation Using Robust Speech Parameters
Supervision et Matrise des Oprations spatiales (SUMO : Expression des besoins de supervision appliqus aux modles du domaine spatial
Journal of Optics A: Pure Applied Optics
1eres Journees REalite VIrtuelle et COgnition , ENST , Paris, 14/12/99-15/12/99
Application du traitement d'images dans l'agroalimentaire
microprocesseurs: mise en oeuvre et exemple d'application
Mthodes formelles de test de conformit de protocoles
3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT'3) , San Jose, USA, 03/10/99-07/10/99
Fuzzy logic, control engineering and artificial intelligence
Rseaux possibilistes orients et logique possibiliste
http://www.irit.fr/ Jean-Denis.Durou/PUBLICATIONS/ceos_1999_a.pdf
A New Interferogram Simulator: 2SIR Study of Coherence Losses for Tortured Reliefs
An experience with reflection for scheduling actor-based irregular applications
Reliability evaluation of emboli detection using a statistical approach
In CONSTRAINTS: An international journal
Recommendations and Standards for Training Material O3.4/2-V1 Reference : 3.4/IRIT/T/99005-3.0
Etude thorique et exprimentale des problmes de satisfaction propositionnels
Abrose A Co-operative Multi-Agent Based Framework for Marketplace
Garantie de contraintes de temps de messages avec les rseaux locaux
http://www.irit.fr/ Jean-Denis.Durou/PUBLICATIONS/rapport_DEA_Nicolas_Bertrand.ps.gz
Computer Architecture Development Courses in Toulouse Universities
Hybrid Simultaneous Scheduling and Mapping in SQL Multi-query Parallelization
Equilibrer les repas en utilisant l'arithmtique floue et les algorithmes de recherche heuristique
5th International Symposium on Validation and Verification of Knowledge Based Systems and Components, EUROVAV’99, Oslo, Norway,
Workshop OOPSLA "Rigorous modeling and analysis of the UML". , Denver,
Distant Learning in Oncology for the Specialist :DLOS
Course on-line in Oncologie for the Generaliste: COLOG
Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI'99) , Stockholm,
7me Confrence sur les systmes d'information labors : Bibliomtrie - Informatique stratgique -Veille Technologique , Corse France, 27/09/99-01/10/99
Qualitative Possibility Theory and Its Applications to Constraint Satisfaction and Decision under Uncertainty
European Conference on Cognitive Science, Siena, 27/10/1999-30/10/1999
Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI'99) , Stockhlom, 30/07/99 - 01/08/99
Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA'99) , Evora,
Comptes Rendus de l'Acadmie des Sciences
A Framework to allow Dialogue Systems to Generate Context-Sensitive Prosody
Modelling and Verifying Mobility : A Case Study
International Journal of Intelligent Systems
Group decision making in situations where information is distributed according to modality
Comportements individuels adaptatifs dans un environnement dynamique pour l'exploitation collective de ressources
Reprsentation et raisonnement sur les intervalles cycliques
Usage de la coopration et de l'auto-organisation pour la conception de systmes complexes adaptatifs
Numerical Linear Algebra with Applications
L'analyse systmique des flux par les rseaux de Petri
A Formalization of the B method in Coq and PVS
Brokerage Communication in a Co-operative Multi-Agent Based Mediation Service : One Example in Abrose
An Unsupervised Approach to Language Identification
Ingnierie des systmes multi-agents, St Gilles de la Runion, 08/11/99 - 10/11/99
Directed possibilistic graphs and possibilistic logic
Stochastic Conceptual Model for Spoken Language Understanding
Supervision Globale des Systmes : Modlisation et Infrastructure
Multimodal Presentation as a Solution to Access a Structured Document
Initial Dissemination material on COMTRAIN Reference : 3.4/AS/C/99004-2 D3.4/4-V1
State of the art: image synthesis and virtual reality
9th Portuguese Conference on Artificial Intelligence (EPIA'99) , Evora,Portugal, 21/09/99-24/09/99
Nouveaux modes de rvision et de mise jour dans des contextes dynamiques
Non Visual Presentation of HTML documents for Disabled and Elderly Using Extended Cascading Style Sheets
Fuzzy logic techniques in multimedia database querying, Database Semantics
5th International Euro-Par Conference , Toulouse, 31/08/99-03/09/99
Supervision et Matrise des Oprations spatiales (SUMO) : Formalisation des donnes et des interfaces
Performing approximate reasoning withs words
2nd international Workshop on Semantics of Objects as Processes, SOAP '99 within the 13th European Conference on Object-Oriented Programming, ECOOP'99 , Lisbon, Portugal, 14/06/99-18/06/99
Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms
Implicative and conjunctive fuzzy rules- A tool for reasoning from knowledge and examples
Image and Signal Processing for Remote Sensing V , Florence, Italie, 20/09/1999-24/09/1999
5th Eurographics Workshop on Virtual Environments , Vienne, 01/06/99-06/06/99
Diagrammatic reasoning in projective geometry
Terminologie et Intelligence Artificielle - TIA'99 , Nantes (F), 10/05/99-11/05/99
Le livre lectronique et le concept de station de lecture assiste par ordinateur
Constraints for Validation of Conceptual Graphs
Mcanisation de la mthode B en Coq et PVS
The differential (?) processing of literal and nonliteral speech acts : a psycholinguistic approach.
Acheminement du trafic d'un rseau tlphonique commut par une approche multiagent adaptative
Architecture of Parallel and Distributed Systems
Implementing snoop coherence protocol for future SMP architectures
Rendu Raliste et Prototypage Virtuel Interactif
Journal of Decision Systems, DECIDE Esprit Project
5th International Euro-Par Conference (Europar99) LNCS 1685 , Toulouse, 31/08/99-03/09/99
Real-Time and Embedded Systems, RTS'99 , Paris (Porte de Versailles) , 10/02/99-12/02/99
Relations clients-fournisseurs et planification de la production pour une entreprise implique dans plusieurs chanes logistiques
A Parallel Distributed Fast 3D Poisson Solver for Mso-NH
Text REtrieval Conference , Gaithersburg, 16/11/99-19/11/99
A tractable subclass of the block algebra: constraint propagation and preconvex relations
Query Modification based on relevance back-propagation in adhoc environnement
Rencontres Francophones sur la Logique Floue, Valenciennes,
Une approche possibiliste gnrale du diagnostic causal
Automatic Tracking of Linear Features on Spot Images Using Dynamic Programming
6th European Conference on Speech Communication and Technology (EUROSPEECH'99) , Budapest, Hongrie, 05/09/99-09/09/99
About Query Reformulation in Information Retrieval : Connectionist and GA in IR
Entrepts de donnes : modlisation conceptuelle dentrepts
Analyse des protocoles de contrle de concurrence et des proprits ACID dans les SGBD temps rel
microprocesseurs: architecture et performances
Fuzzy information, engineering and soft computing
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
Vers un outil d'aide l'apprentissage de la MFM
Preuve automatique par abstraction de problmes espace d'tats infini ou paramtrs
Simulation et dcision : l'apport de la thorie des ensembles flous
A brief introduction to possibility theory and its use for processing fuzzy temporal information
IJCAI'99, Workshop on Hot Topics in Spatial and Temporal Reasoning , Stockolm, 02/08/99
ABERGO 99, Salvador de Bahia, 01/11/99-05/11/99
Journal of Experimental & Theoretical Artificial Intelligence
European Conference on Cognitive Science, Siena, 27/10/99-30/10/99
Theories and Experiments on Emergent Behaviour: From Natural to Artificial Systems and Back
An overview of inconsistency-tolerant inferences in prioritized knowledge bases
Modlisation et Simulation des Flux Physiques et Informationnels , Annecy - France, 06/10/99-08/10/99
Proceedings of the 18th International Conference of the North American Fuzzy Information Processing Society , New York, USA, 10/06/99-12/06/99
Congrs Informatique des Organisations et Systmes d'Information et de Dcision (INFORSID), La Garde,
Completeness and admissibility for general Heuristic search algorithms - a theoretical study:basic concepts and proofs
3D interaction in immersed workspaces based on gesture recognition (the Jedi metaphor)
Documentation and motivation for the final technological and operational improvements for DEMON - Spoken Language Understanding and Dialogue Aspects, Work Package 4
OntoSeek: Content-Based Access to the Web
en_US
website
Turning Shoe Information to Knowledge of Technology and Deals
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
Aktors
Linear-time algorithms for testing the realisability of line drawings of curved objects
Towards a possibilistic logic handling of preferences
A Theory of emergent computation based on cooperative self-organization for adaptive artificial systems
Modlisation Conceptuelle des Entrepts de Donnes
Aspects of High Level Computer Vision Using Fuzzy Sets
Spatial information theory - Cognitive and computational foundations of geographic information science , Freksa, C, & Mark, D M (eds.) (COSIT), Stade, Germany, 25/08/99-29/08/99
International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA99 , Las Vegas, 28/06/99-01/07/99
Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies
Convention Catalane sur l'Intelligence Artificielle , Gerona,
Une approche axiomatique pour les mthodes de surclassement bases sur une rgle de surclassement.
Un systme multi-agent auto-organisateur pour l'apprentissage d'un profil utilisateur
15th Conference on Uncertainty in Artificial Intelligence (UAI'99) , Stockholm,
Journee du CNFM , Saint-Malo, 01/12/99-03/12/99
IEEE Trans. on System, Man and Cybernetics, part B : Cybernetics
ABROSE : Multi-Agent Based Brokerage Services in Electronic Commerce
10th International Conference on Image Analysis and Processing - ICIAP'99, Venise, Italie, 27/09/99-29/09/99
ACM ICS Workshop on Scheduling Algorithms for Parallel and Distributed Computing - From Theory to Practice - , Rhodes, Grce,
GAT'99 (2 Colloque Francophone Gnration Automatique de Textes) , Grenoble, 30/09/99-01/10/99
Genetic Algorithm to Query Space Exploration
Introduction: Bridging the gap between multiple-valued logics, fuzzy logic, uncertain reasoning and reasoning about knowledge
Le couplage des hyperdocuments et des acteurs humains dans l'activit d'une organisation : propositions et ralisation
Prdicteurs mixtes pour l'anticipation des instructions
A sequentiel reversible belief revision method based on polynomials
ftp://ftp.irit.fr/IRIT/SIG/Nordnet99 Alquier Salles Tignol.doc
Early project organization and start-up techniques based on project management information system
Supervision et Matrise des Oprations spatiales (SUMO) : Potentiel d'expression des modles de gestion. Modlisation en CIM
Behavioural Types in CoOperative Objects
8th International Linear Algebra Society Conference (ILAS) , Barcelone,
Possibilistic rule-based inference: a case study in financial analysis
7mes Journes ORASIS - ORASIS'99, Aussois, 26/04/1999-30/04/1999
PLAY, HW/SW for storage of various music input, conversion of different Braille syntax into sound, graphic, Braille output and telematic access (Tide project) , Bruxelles (BELGIQUE),
RO-MAN'99, 8th IEEE International Workshop on Robot and Human Interaction , Pise, Italie, 27/09/99-29/09/99
IEEE International Ultrasonic Symposium, Lac Tahoe, Nevada, USA,
Conf. Industrial Laser and Inspection, Polarisation an Colour Techniques in Industrial Inspection , Munich, 16/06/99-21/06/99
5me symposium en architecture de machines , Rennes, 08/06/99-11/06/99
Qualitative Theory of Shape and Orientation
Multi-Lingual Interoperability in Speech Technology11, (RTO MP-28) , Leusden, The Netherlands, 13/09/99-14/09/99
A VLSI-based parallel architecture for three steps compression of low bit-rate video coding
Adaptation semi-automatique d'une base de marqueurs de relations smantiques sur des corpus spcialiss
An Adaptation of our Ada95/O2 Binding to provide Persistence to the Java Language: Sharing and Handling of Data between Heterogeneous Applications Using Persistence
A Generative Modelling of Sense variations
Le problme du PERT flou dans les graphes srie-parallles
http://www.irit.fr/ Jean-Denis.Durou/PUBLICATIONS/orasis_1999.ps.gz
Ralisation d'images relles vrifiant les hypothses du shape from shading
Qualitative Theory of Shape and Structure
Rsolution et analyse des conflits de cohrence sur les architectures bus partag d'adresses
Autonomous Streaming Architectures for Continuous Media
A method for computer generated prosthesis
11th Nordic Workshop on Programming Theory NWPT'99 , Uppsala, 06/10/99-08/10/99
Propositional belief base update and minimal change
Eagles recommendations in lexical semantics
Incidence des variations de la mise en page sur la comprhension et la mmorisation des textes procduraux (rgles de jeux) par des enfants de 8 12 ans.
Formal description of Human Machine (H-M) interactions derived from the application task graph.
Actes du XVIIme Congrs INFormatique des ORganisations et Systmes d'Information et de Dcision - INFORSID'99 , La Garde (Var, France), 02/06/99-04/06/99
Semantics Issues in Multimedia Systems , Auckland (New Zealand),
Colloque International sur le Document Electronique (CIDE'99) , Damas, Syrie, 05/07/99-07/07/99
Exploitation de ressources pdagogiques distribues dans l'environnement tlmatique Ariadne
Supervision et Matrise des Oprations spatiales (SUMO) : Modle d'information CIM de l'application de supervision du systme cible
From Phoneme to Grapheme : Diagnosis in a Dictation
An investigation of arbitration in servers for distributed multimedia applications
Document use and managment in dynamic environment supervision
Matriel textuel pour une gnration de textes architecturs
L'intgration des hyperdocuments dans l'activit des acteurs humains de l'organisation : proposition et ralisation
CoGITo v3.3 : plate-forme de dveloppement dapplications sur les graphes conceptuels
Construction Graphique d'Entrepts de donnes.
QoS Gigabit Router Evaluation and Simulation
SPECOM'99 (SPEech and COMputer) , Moscow, Russia, 04/10/99-07/10/99
Ensembles flous : historique et notions de base
Intgrer le Multimdia la documentation technique
Comment modliser la prosodie dans un but d'identification des langues ?
Underspecification of lexicals emantics forms in a generative framework
15th Conference on Uncertainty in Artic-ficial Intelligence (UAI99) , Stockholm, 30/07/99-01/08/99
TALN'99, Ateliers Thmatiques "Mthodes hybrides TALN/TALP pour le Traitement Robuste de la Langue" , Cargse, Corse, 12/07/99-17/07/99
Approximate reasoning in computer-aided medical decision systems
7imes Journes Freancophones d'Intelligence Artificielle Distribue et des Systmes Multi-Agents , saint-Gilles La runion, 08/11/99-10/11/99
Une approche probabiliste de l'infrence base de cas
Formalisation des Activits Concurrentes, Toulouse, 25/02/99-26/02/99
IJCAI'99 , Workshop Hot Topics in Spatial and Temporal Reasonning, , Stockholm, 31/07/99-06/08/99
Dfinition et action dans les textes procduraux.
IEEE Intelligent Systems & thier Applications
The Petri Net Approach to Build and Execute Missioned Mobile Agents
Ordre de grandeurs relatifs flous rsolution approche d'quations, incohrence et application au calcul de probabilits qualitatives
Delay jitter guarantee for real-time communications with ATM network.
Une approche qualitative de l'indpendance pour le raisonnement dans l'incertain
An argumentation framework for handling inconsistency in knowledge bases
On the possibilistic decision model: from decision under uncertainty to case-based decision
Tmoignage pour une histoire de l'IA Petite contribution oblique une Gense
Comprehension of nonliteral speech acts : is there a need to activate literal meaning firt ?
Atelier thmatique de la confrence TALN'99 'Theoretical Bases for Semantics and Pragmatics in NLP: The expression of time, space and movement in lexicon, discourse and dialogue' , Cargse, Corse, 12/07/99 - 17/07/99
European Journal of Operational Research
Bases de connaissances Terminologiques: enjeux pour la consultation documentaire
Synthesizing French Prosody from a Phonological Representation
Using Multimedia in aeronautical Technical documentation
Fuzzy information engineering: BackGround and Applications
Techniques de logique floue pour l'interrogation de bases de donnes multimdia - Une tude prliminaire
Intgration du Concept d'Agent de Facilitation KQML dans une Plate-Forme de Gestion Cooprative
26ieme international conference, Information Technologies in Sciences, Education and Business , Yalta-Gurzuf, Ukraine,
A general approach to diagnosis in a fuzzy setting
Design and Evaluation of Ring-Based Video Servers
Using Abstract Interpretation Techniques for Static Pointer Analysis
ABROSE : A Co-operative Multi-Agent Based Framework for Electronic Marketplace
Giuseppe Longo Cambridge University Press
6th International Conference on Intelligence and Services in Networks, IS&N'99 , Barcelona, Spain, 26/01/99-28/04/99
Predicative Forms in Natural Language and lexical Knowledge bases
Dialogue games for computer supported collaborative argumentation
6th European Conference on Speech Communication and Technology (EUROSPEECH'99), Budapest, Hongrie, 05/09/99-09/09/99
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, Honolulu,Hawaii,USA,
First Workshop on Parallel Computing for Irregular Applications , Orlando (USA),
Learning in Real-Time Environment Based on Classifiers System
Colloque des Jeunes Chercheurs en Sciences Cognitives , Soulac, 26/04/99-28/04/99
Committee on Earth Observation Satellites - SAR Workshop , Toulouse, 26/10/1999-29/10/1999
A possibilistic model for qualitative sequential decision problems under uncertainty in partially observable environments
Mercure at TREC8 : Adhoc, Filtering, Web and CLIR tasks
Langages de Base de donnes : SQL et les volutions vers l'objet
The RISC BLAS : A Blocked Implementation of Level 3 BLAS for RISC Processors
Gediterm : un logiciel pour grer des bases de connaissances terminologiques
Conception concurrente materielle-logicielle de systemes temps-reel-strict distribues
Raisonner partir de connaissances gnriques et d'exemples, en utilisant deux types de rgles floues
Handling contingency in temporal constraint networks: from consistency to controllabities
Modlisation de la dure des sons dans un systme de reconnaissance automatique de la parole
L'objet -- logiciel, bases de donnes, rseaux
Ingnierie cognitive des systmes d'assistance aux activits complexes,
XIVth International Congrees of Phonetic Sciences (ICPhs) , San Francisco, Californie, 01/08/99-07/08/99
Committee on Earth Observation Satellites - SAR Workshop , Toulouse, 26/10/99-29/10/99
NORDNET : Managing Business by Projects, Helsinki, 16/09/99-17/09/99
Raisonement qualitatif a propos des points de l'espace
Contribution l'amlioration de GRAPHPLAN, Formalisation, critique, modification : LCGP (Volume 1)
Access to a commercial program PLAY to NIFF code
Foundation for Intelligent Physical Agent CFP6_016, Nice, France, 06/04/1999
Adaptive Behavior for Cooperation: a Virtual Reality Application
Extended Divisions for flexible queries in relational databases
Dcision collective en situation o les informations sont distribues en fonction de leurs modalits
Proof Theory of Concurrent Object-Oriented Programming
Spoken Dialogue Systems : Toward a Complexity Measure for System's Questions
Vocal Synthesis in a Computerized Dictation Exercice
Investigating Automatic Language Discrimination via Vowel System and Consonantal System Modeling
Gnration de code multi-cibles pour la mthode d'analyse et de conception VBOOM Conception et ralisation du compilateur VBOOL
Une quipe de robots footballeurs auto-organises: les SMACkers
Assistance rigoureuse au concepteur : l'AGL-P RHODES
3rd Int'l Conf. On Principles Of DIstributed Systems , Hanoi, Vietnam,
Raisonnement et dcision partir de cas : modlisations floues
JFIADSMA , St Gilles - La Runion, 08/11/99-10/11/99
Application of Petri Nets to Intelligent System Developement, Workshop within the 20th Int. Conf. on Application and Theory of Petri Nets (ICATPN'99) , Williamsburg, (VA, USA), 21/06/99-25/06/99
A Concurrent Object-Based Model and its Use for Coordinating Java Components
Formal Methods for Open Object-based Distributed Systems , Florence, 15/02/99-18/02/99
ICVC'99, International Conference on Visual Computing , Goa, Inde, 23/02/99-26/02/99
Ingnierie des Connaissances - IC'99 , Palaiseau (F), 14/06/99-18/06/99
Optimal Edge Detection and Edge Localization in Complex SAR Images with Correlated Speckle
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
Hierarchically Decomposed Trees or Graphs from Symbolic Causal Netwoks: Task-Methods Dynamic Derivation (towards a Tensor Calculus)
Subspace-by-Subspace Preconditioners for Structured Linear Systems
IEEE Trans. on Systems, Man and Cybernetics, part B
Programmation Concurrente et Rpartie par Acteurs - Dtection de problmes de vivacit par analyse statique
Prise en compte de l'intentionnalit dans les modles conceptuels.
Rapport de fin de contrat RECH-9507523 Environnement de dveloppement de programmes parallles
LIVE: une plate-forme d'animation utilisant conjointement plusieurs mthodes de controle du mouvement
SAR image registration without pre-filtering
Innovative IT State of the art Deliverable D6.1/1-V1 Reference : 6.1/NLR/T/99001-1.1
5th International Euro-Par'99 conference Parallel Processing , Toulouse France, 31/08/99-03/09/99
PARASOL An Integrated Programming Environment for Parallel Sparse Matrix Solvers
A shared memory model on a cluster of PCs
- Fourth European Congress of Systems Science , Valencia Sapin,
Un algorithme de terminaison de calcul diffusant par valuation de chemins maximaux
Ada-Europe'99 , Santander (Espagne), 07/06/99-11/06/99
C-beta-mix : A partial evaluator for the lambda-calculus using C-beta reduction
TtraFusion: Information Discovery on the Internet
Terminologies nouvelles (revue internationale francophone)
Proceedings of the 8th International Conference on Information and Knowledge Management - ACM CIKM'99 , Kansas City, 02/11/99-06/11/99
Prise en compte dans un modle 3D du mouvement du rotor d'un micromoteur lectrostatique
Hybridizing Nested Dissection and Halo Approximate Minimum Degree for Efficient Sparse Matrix Ordering
A linguistic Approach to Some Parameters of Layout. A Study of Enumerations.
Discrete Fourier Transform and Grbner Bases
Static safety analysis for non-uniform service availability in Actors
Axiomatisation de la dcision qualitative dans l'incertain et raffinement de l'approche maximin (avec la collaboration de Philippe Fortemps)
Logical Deduction Using the Local Computation Framework
European Conference on Cognitive Science ECCS'99 , Siena (Italy), 27/10/99-30/10/99
Real-time Network applications programming
8th International Conference on Fuzzy Systems - FUZZ-IEEE'99, Soul, Core du Sud, 24/08/99-28/08/99
Un modle stochastique conceptuel pour la comprhension de la parole
Second International and Interdisciplinary Confernce CONTEXT'99, Trento (Italie), 09/09/99-11/09/99
Extensions of qualitative approach to case-based decision making: Uncertainty and fuzzy quantification in act evaluation
Vowel System Modeling: A Complement to Phonetic Modeling in Langage Identification
Autonomous Actors in an Interactive Real-Time Environment
In third International Conference on Knowledge-Based Intelligent Information Engineering Systems, KES'99 , Adelaid-AUSTRALIE, 31/08/99-01/09/99
XIXth International Congress of Phonetic Sciences (ICPhS) , San Francisco, Californie, 01/08/99-07/08/99
Etude d'extensions de LOTOS pour la spcification d'applications temps rel
Qualitative models for decision under uncertainty without the commensurability assumption
http://www.irit.fr/ Jean-Denis.Durou/PUBLICATIONS/iciap_1999.pdf
Creation of Real Images which are Valid for the Assumptions Made in Shape from Shading
Perturbation of fixed point iterative methods: round off errors
Implicit extrusion fields: A precise tool for implicit modeling
Comparison of Measured and Modeled BRDF of Natural Targets
Vrification de proprits temporelles de systmes ractifs rpartis
Interaction rationnelle et volution des croyances dans le dialogue : une logique base sur la notion de topique
Contribution l'intgration de prfrences dans le raisonnement argumentatif
Infrastructure d'interaction pour les paradigmes distribus et coopratifs de la gestion intelligente de rseaux et de systmes
Controle optimal et transfert en temps minimal
Placement de requte(s) SQL sur une architecture parallle mmoire distribue : du statique au dynamique
Segmentation d?images radar par dtection de contours
architectures paralleles pour le traitement d'images: projet GFLOPS
Simulation des interactions lumire/matire pour la modlisation de la rflectance par ondelettes en synthse d'images ralistes
Coopration et fusion d'oprateurs : application au recalage automatique d'objets cartographiques
Vers une Unification des Diffrents Paradigmes de la Thorie de la Decision: une Approche Base sur les Mesures Non-additives et la Thorie du Mesurage
Contribution l'tude du raisonnement spatio-temporel. Localisation d'un agent et description d'itinraires
Modlisation d'hyperbases et intgration de la composante sonore.
Reprsentation logique et traitement algorithmique de l'espace
Modlisation de cooprations intermodales : application l'interaction non visuelle
Etude et implantation de mcanismes rflexifs dans un langages concurrent
Mthodes directes parallles de rsolution des systmes creux de grande taille
Gestion du Temps dans un SGBD Relationnel : l'exemple d'Oracle
Animation de synthese et concepts de realite virtuelle pour l'art du spectacle et l'art plastique numerique
International Conference on Parallel and Distributed Processing Techniques and Applications PDPTA99, Las Vegas, 28/06/99-01/07/99
Fuzzy sets and possibility theory in approximate and plausible reasoning
10th International Conference on Database and Expert Systems Applications, DEXA99 , Florence, Italy, 30/08/99-03/09/99
MOSIM'99, 2me confrence Francophone de MOdlisation et SIMulation, G Habchi & A Haurat (Eds) , Annecy, France, 06/10/99-08/10/99
Optical clock distribution for a more efficient use of DRAMs
Proc.of the International Fuzzy Systems Conference IEEE 1999 , Seoul-Korea, 22/08/99-25/08/99
Sixteenth International Joint Conference on Artificial Intelligence , Suede, 01/01/99-31/12/99
IDENTIFICATION OF ILLUSTRATORS Deliverable D6.1/2-V1 Reference 6.1/BAe/T/99 002 - 1.1 1999-07-09
Assessing the value of a candidate: a qualitative possibilistic approach
Gditerm : un logiciel pour grer des bases de connaissances terminologiques
L'intentionnalit communicationnelle et son impact visuel
Abrose: Self-organization and Learning in Multi-Agent Based Brokerage Services
Ordonnancement temps rel : Ordonnancement monoprocesseur
Fusion d'informations dans un cadre qualitatif : mthodologie et tude de cas
Comprhension des actes de parole non-littraux : les processus misen jeu sont-ils toujours les mmes ?
Improving the Illumination Quality of VRML 97 Walkthrough via Intensive Texture Mapping
TOOLS - Technology of Object-Oriented Languages and Systems, Santa Barbara, 01/08/99-05/08/99
Congrs International du Gnie Industriel, Montral, 26/05/1999-28/05/1999
ISPRS'99 - Workshop "3D Geospatial Data Production: Meeting Application Requirements" , Paris, 07/04/99-09/04/99
Formalisation des activits concurrentes , LAAS Toulouse, 25/02/99-26/02/99
Programming concurrent objects scheduling strategies using reflection
Proceedings of IEEE International Conference on Information, Intelligence and Systems ICIIS'99 , Bethesda (ML, USA), 31/10/99-03/11/99
Prise en compte de Prfrences Conditionnelles dans les Systmes d'Argumentation
Mlanges convexes hybrides probabilits -possibilits et fonctions d'utilit
Parametric approach for time optimal control
http://www.irit.fr/ Jean-Denis.Durou/PUBLICATIONS/ceos_1999_b.pdf
Insar Analysis of the Effects of the Izmit Earthquake with ERS Data
Journes Francophone Langages Applicatifs , Avoriaz, 01/02/99-02/02/99
Les mtriques et l'analyse relationnelle en quatre dimensions
A Generic Formal Plan Recognition Theory
Requirements for the common IT infrastructure Deliverable D3.3/2-V1 Reference : 3.3/VAC/T/99001-1.2
Ensembles flous et thorie des possibilits en raisonnement approche ou plausible
Logiciels distribus temps rel : approches de spcification Z
Structures spacio-linguistiques du texte : traitements formels et cognitifs.
CAVALCADE: a system for collaborative prototyping
Complexity Paradigm as a framework for the study of Cooperative Systems
Proceedings of Human Centered Processes HCP'99 , Brest (F), 22/09/99-24/09/99
Fuzzy sets in Approximate Reasoning and Information Systems
This ontology contains information detailing publications held by IRIT-CNRS
Publication export from IRIT-CNRS
FM'99 -- B Users Group Meeting -- Applying B in an industrial context : Tools, Lessons and Techniques , Toulouse,
Versions de textes pour une gnration de textes architecturs. Colloque des Jeunes Chercheurs en Sciences Cognitives.
Using Abstract Interpretation Technics for Static Pointer Analysis
6th International workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS'99) , Toulouse, France, 12/10/99-15/10/99
Decision Procedure for Temporal Logic of Concurrent Object
Brokerage Communication in a Cooperative Multi-agent based Mediation Service: One Example in Abrose
Parametric Estimation: Improvement of the RLS Algorithm using a Differential Approach
Special issue on Parallel and Distributed Real-Time Systems of Parallel and Distributed Computing Practices.
Trait Informatique des Techniques de l'Ingnieur
Dfinition et Validation de Mesures pour l'hritage. Application au facteur de Maintenabilit
Intgration des typages fonctionnels et concurrents d'un langage fonctionnel d'Acteurs
A metrics for assessing viewpoint analysis and design.
Smantique formelle de l?espace. Une application au raisonnement spatial qualitatif en architecture
tude des effets de la mise en forme matrielle de textes par des prsentations non visuelles
Ralisation en Eiffel d'un atelier de gnie logiciel centr procd
Language Modelling and Spoken Dialogue Systems - the ARISE Experience
Cooperative work and shared visual context:An empirical study of comprehension problems in side by side and remote help dialogues
ESCA International Workshop on Dialogue and Prosody , Veldhoven, Netherlands, 01/09/99-03/09/99
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Londres,
Calculer et comparer avec des intervalles flous
COMMON TRAINING SYSTEM REQUIREMENTS D3.4/1-V1 Reference : 3.4/AS/P/99003-7.0
Contributions de la thorie des actes de discours une taxinomie des consignes
Cinquiemes journees nationales sur la resolution pratique de problemes NP-complets , Lyon, 01/01/99-31/12/99
International Journal of Intelligent Systems, Special Issue "Threads in Fuzzy Petri Nets Research" (J Peters, ed)
Proceedings of the National Conference In Artificial Intelligence (AAAI-99) , Orlando-FL-USA, 18/07/99-22/07/99
Journes nationales sur les modles de raisonnement (JNMR 1999), France, 01/01/99-31/12/99
Modelling the movement of electrostatic motor on a 3D finite element code
Possibilistic logic bases and possibilistic graphs
Comparison of Two Phonetic Aproaches to Language Identification
Computing improved optimal solutions to max-min flexible constraint satisfaction problems
IEEE Transactions on Pattern Analysis and Machine Intelligence
Structures textuelles. Planches. Fasciccule I : Enumrations
International Journal of Modelling and Simulation
How to disambiguate unification in minimal proof tools
2nd International Conference on Information, Communications and Signal Processing, ICICS'99 , Singapoure, 07/12/99-10/12/99
Third International Workshop on Intelligent Agents for Telecommunication Applications , Stockholm, 09/08/1999-10/08/1999
Extraction de relations smantiques entre termes et enrichissement de modles conceptuel
Thorie des possibilits, probabilits et ensembles flous : -Malentendus, relations et diffrences (avec la collaboration d'Eric Rannou)
7me Confrence sur les systmes d'information labore: Bibliomtrie - Informatique stratgique - Veille technologique. , Ile Rousse, 27/09/99-01/10/99
Driving Simulation Conference, Paris, 07/07/99-08/07/99
An autonomous I/O module for low-cost media-on-demand servers
Proceedings of Irregular'99 , Puerto Rico,
7th International Conference on High Performance Computing and Networking Europe 1999, poster session , Amsterdam, The Netherlands, 12/04/99-14/04/99
Deuxime Rencontre de Smantique et Pragmatique , Orlans, 08/06/99-10/06/99
Numeric and Symbolic Fuzzy Information Fusion Applied to Satellite Imagery Classification (confrence invite)
Parallelization of the French Meteorological Mesoscale Mode Mso-NH
Semi-structured data queryingoptimization through logic technics.
IEEE Transactions on Consumer Electronics
Revue Electronique sur les Rseaux et l'Informatique Rpartie
Un outil gnrique pour l'expression de mthodes de validation
Les ensembles flous en science et ingenierie de l'information et en intelligence artificielle
Rsolution approche d'quations par le raisonnement qualitatif flou
Fusion et rvisionn de bases de connaissances avec des priorits
Les serveurs vocaux interactifs : prise en compte de l'utilisateur dans la gestion du dialogue
A practical approach to revising prioritized knowledge-bases
A Practical Approach to Fusing Prioritized Knowledge Bases
5th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU 1999), London, UK,
Database generation system for road applications
Directed Acyclic Graph Compression of Labelled Trees
International Conference, Information technologies in Science, Education and Business, Yalta-Gurzuf, Ukraine, 17/05/99-30/05/99
WSCG'99, 7th International Conference in Central Europe on Computer Graphics, Visualization and Interactive Digital Media'99 , Plzen, Rpublique Tchque, 08/02/99-12/02/99
XIVth International Congress of Phonetic Sciences (ICPhS) , San Francisco, Californie, 01/08/99-07/08/99
Space Systems Management : DMTF/CIM Framework Definition for a CORBA Implementation
Language Model Level vs. Lexical Level for Modeling Pronunciation Variation in a French CSR
5me Symposium sur les Architectures Nouvelles de Machines (SYMPA'5) , Rennes, 08/06/99-11/06/99
Proceedins of the AAAI'99 Worshop on Configuration , Orlando (Floride), 18/07/99
A formal theory of plan recognition adapted to discourse systems
Eurographics Workshop on Computer Animation and Simulation, Milano, Italy, 07/09/99-09/09/99
European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty , Londres, 05/07/99-09/07/99
A New Way to Represent the Relative Position between Areal Objects
A generic tool for expressing the development of validations
Systme de Maintenance Aronautique Coopratif ; projet SCAMA (phase prliminaire)
Razrabotka metodov sozdanya informacionnyh sistem dlya podderzhki v prinyatii reshenii (Ingnierie de mthode pour la conception de systmes d'information pour l'aide la dcision)
Remote Sensed Images Processing and Geographic Features
Neuronal activity related to eye-hand coordination in the primate premotor cortex
Perturbation of fixed point iterative methods: termination
A Physics Based Multi-Resolution Model for the Simulation of Turbulent Gases and Combustion
CONCEPTION ET REALISATION D'UNE INTERFACE GENERIQUE PERMETTANT LA VISUALISATION ET LE TRAITEMENT DES RESULTATS DE RECHERCHE D'INFORMATIONS : MERCUREVIEW
Mobile Agents Behaviors: from Declarative Specification to Implementation
Euro-Par'99 Parallel Processing, Proceedings of the 5th International Euro-Par Conference , Toulouse , 31/08/99 - 03/09/99
A unified view of ranking techniques for fuzzy numbers
12th conference on the computation of electromagnetic fiekd (COMPUMAG) , Sapporo,
Visualisation interactive d'informations hirarchiques
Comprhension des actes de parole non-littraux : les processus mis en jeu sont-ils toujours les mmes ?
A hierarchy of modal logics with relative accessibility relations
Confrence sur l'Intelligence Artificielle Situe, Paris, 26/10/1999-27/10/1999
Cooperative Information Agent III, CIA'99, Klusch, M; Shehory, OM; Wei, G, (Eds.) , Uppsala, Sweeden, 31/07/99-02/08/99
A modular approach to the semantics of space in language
WSCG'99, 7th International Conference in Central Europe on Computer Graphics, Visualization and Interactive Digital Media'99 , Plzen, Rpublique Tchque,
Fuzzy Sets, Logics and Reasoning about Knowledge
Material Model For Physically based Rendering
A new tractable subclass of the rectangle algebra
Possibilistic and standard probabilistic semantics of conditional knowledge bases
IEEE Transactions on Geoscience and Remote Sensing (TGARS)
Dissemination Methodology Specification - Deliverable 8.1/2-V1 Reference : 8.1/WWU/T/99008-1.3
Some use of fuzzy logic in semi-structured data querying
The Knowledge Modeling process: An Intended Language of Events and Inferences Support to Conceptualization
Dcision en environnement partiellement observable et rsolution de formules boolennes quantifies
Confirmation Strategies to Improve Correction Rates in a Telephonic Inquery Dialogue System
Second IEEE International Conference on ATM , Colmar, France, 21/06/99-23/06/99