Proc. of the 10th Conference on Uncertainty in Artificial Intelligence (UIA-94), Seattle, USA, 29/07/1994-31/07/1994
Possibility theory and data fusion in poorly informed environments
IEEE Trans. on Systems, Man and Cybernetics
Specification of a collaborative application : a structure of cooperation modelling
Techniques matrielles d'anticipation des accs la mmoire en environnement monoprocesseur
Third Magrhebian Conference on Software Engineering and Artificial Intelligence, Rabat,
Rseaux d'interconnexion dans les machines parallles
Modlisation par objets intgrant la notion de points de vue : Application la case quipements d'Ariane 4
2nd East-West International Conference on Human-Computer Interaction (EWHCI'94), St. Petersbourg, Russie, 02/08/94-05/08/94
GFLOPS : une exprience d'adquation architecture algorithmes
Excution parallle de transactions concurrentes dans un environnement de bases de donnes
Intelligence artificielle et automatique
Programmation Oriente Objet Distribue : les perspectives du modle HECTOR
6mes Rencontres francophones du Paralllisme, ENS Lyon,
This ontology contains information detailing publications held by IRIT-CNRS
Publication export from IRIT-CNRS
Mthodes de dveloppement pour systmes temps-rel
Image and Signal Processing for Remote Sensing, Rome, Italie, 26/09/1994-30/09/1994
Satellite Image Classification Based on Multi-Sources Information-Fusion with Possibility Theory
Journes AFCET: Rpartition et Paralllisme dans les Systmes d'Information , Paris,
Un Mcanisme pour le Placement Dynamique et la Migration de Processus Communicants
Actes des Journes Francophones des Langages Applicatifs, -,
Vers l'intgration de modles. Drivation d'un modle relationnel vers un modle IFO2
International Conference on Computer Aided Production Engineering, Palerme, 04/06/94-06/06/94
Equation solving in projective planes and planar ternary rings
Les Objets SLOOP : Granularit et Concurrence
ARCADIA : Placement Dynamique et Migration de Processus Communicants
Un environnement de modlisation pour les Objets Coopratifs
A graphic tool for complex and multimedia database querying
Revision and updating in knowledge bases
International Conference on Object Oriented Information Systems (OOIS'94), Londres,
A high Out-of-order Issue Symmetric Superpipeline Superscalar Microprocessor
Proc. of the 11th Europ. Conf. on Artificial Intelligence (ECAI'94), Amsterdam, The Netherlands, 08/08/94-12/08/94
The possibilistic expert judgement system PEAPS
Environment and Tool for Hard Real-time Systems Design
Interaction modelling for structuring cooperative management
9me congrs Reconnaissance des Formes et Intelligence Artificielle, RFIA’94, Paris, France,
La logique floue: Introduction, historique et objectifs du rapport
Fifth IFIP/IEEE International Workshop on Distributed Systems : Operations and Management (DSOM'94), Toulouse, France, 10/10/94
An Integrated Input/Output System For Multiprocessors
Journal of Network and Systems Management ISSN: 1064-7570 (Paper) 1573-7705 (Online) DOI: 10.1007/BF02283190
Le processus de dveloppement dans les environnements de Gnie Logiciel
Proc. of the 3rd IEEE Inter.Conf. on Fuzzy Systems (FUZZ-IEEE'94), Orlando, Floride, 26/06/94-29/06/94
Applications des liaisons srie en environnement multiprocesseur mmoire commune
Hand Configuration Pre-processing tool for Sign Language Recognition
7th Int. Conf. on Parallel and Distributed Computing Systems - PDCS'94 , Las Vegas,
A survey of belief revision and updating rules in various uncertainty models
SGML document mangement systems : analysis of requirements
A Multi-Sources Approach for Satellite Image Interpretation
RESNA Annual Conference - RESNA'94 , Nashville, tats-Unis, 17/06/1994-22/06/1994
IEEE Trans. on Data and Knowledge Engineering
Ensembles flous et raisonnement automatis
Partial truth is not uncertainty - Fuzzy logic versus possibilistic logic
Propagation and satisfaction of flexible constraints
Conditional objects as nonmonotonic consequence relationships
Planification et excution d'actions parallles en environnement dynamique : le systme SPEEDY
first IEEE International Conference on Image Processing - ICIP'94 , Austin, tats-Unis, 13/11/1994-16/11/1994
Derivation of fault tolerance properties of distributed algorithms, series ``short paper''
Congrs AFCET ``Merise et les autres'', Versailles,
Higher Order Logic Theorem Proving and its Applications , -,
M3S : un multiprocesseur volutif - premiers rsultats de simulation
Emerging Technologies and Factory Automation, Paris, 11/10/94
Rplication et distribution dans les systmes fortement disponibles
Actes des 6mes Rencontres francophones du paralllisme, ENS Lyon, France,
Segmentation floue et reconnaissance d'objets dans les images numriques
Smantique des modles de consistance mmoire
Proc. of the 12th National Conf. on Artificial Intelligence (AAAI'94), Seattle, WA, 31/07/94-04/08/94
Spcification d'un dispositif de visualisation multiple pour l'analyse automatique de scnes de sport collectif
La programmation parallle par acteurs: le systme PlasmaII
Specification of Distributed Hard Real-time System
Possibilistic semantics of conditional objects
A polymorphic extension to Nederpelt's Lambda-calculus
On the validation of fuzzy knowledge bases
Simplification des figures de la gomtrie affine plane
Modlisation graphique des structures d'vnements : des termes algbriques aux graphes
Systems design with View Based Object Oriented Method
Workshop CSCW, Petri Net related formalisms, within the 15th International Conference on Application and Theory of Petri Nets, Saragoza - Spain, 20/06/94
Standardizing and interfacing Relational Databases using Conceptual Graphs
International Geoscience and Remote Sensing Symposium - IGARSS'94, Pasadena, tats-Unis, 08/08/1994-12/08/1994
Non-standard theories of uncertainty in knowledge representation and reasoning
Version longue du Dossier Planification de l'AFIA
9e congrs reconnaissance des formes et intelligence artificielle (RFIA 1994), France, 01/01/94-31/12/94
Un environnement d'assistance mthodologique pour le concepteur Hood : le projet IDEAL
Qualitative and logical handling of uncertainty in a relational model for operational fault diagnosis
12th IASTED International Conference on Applied Informatics , Annecy, France, 18/05/94
Basic issues on fuzzy rules and their application to fuzzy control
Gestion de transactions dans les bases de donnes rparties : modlisation et validation
L'implmentation des Objets Coopratifs : l'excution d'un objet isol
Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'94) , Bonn, Germany, 24/05/1994-27/05/1994
5th International Conf. On Database and Expert Systems Applications. DEXA'94 , Athnes,
Job-shop scheduling with flexible constraints via possibility theory
International Journal of Intelligent Systems (IJIS)
Graphes des marquages symboliques dans les rseaux de Petri Objets
Conference on Human Factors in Computing Systems - CHI'94 , Boston, tats-Unis, 24/04/1994-28/04/1994
Decision making under fuzzy constraints and fuzzy criteria Mathematical programming vs. rule-based system approach
Formalisms for document circulation application
La modlisation par objets, bras sculier de l'approche systmique ?
Interface to Real and Virtual Worlds , Montpellier, 07/02/1994-11/02/1994
Sur les automates asynchrones et les expressions SCCS
Interface Ada/O2 : Ada persistant et son volution vers le monde objet
Systmes coopratifs : de la modlisation la conception
Interrogation graphique de bases de donnes orientes objet rparties
Fuzzy sets: A convenient fiction for modelling vagueness and possibility Comments on a paper by Laviolette and Seaman
Algorithms for scheduling real-time concurrent applications
Cooperation between geographical objects and use of ATM high speed networks for distance training of remote sensing
Theoretical Aspects of Rationality and Knowledge (TARK), Monterey, California,
Technique et Science Informatiques (TSI)
Le systme SPEEDY : une application du paralllisme l'IA
Fuzzy functional dependencies - An overview and a critical discussion
Fuzzy Set Technique for Spatial Problem Solving
Proc. of the 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'94), Bonn, Germany, 24/05/94-27/05/94
Proposition pour l'valuation parallle des grammaires attribues au moyen des acteurs et du langage PlasmaII
Conditional objects as nonmonotonic consequence relations Main results
Configuration excutive des Processeurs Superscalaires Initiation Non Ordonne
Scheduling and Parallelism for Extended SQL Query Optimization
Proceedings of the 15th International Conference on Application and Theory of Petri Nets, -,
Multimdia Information Systems for architecture to a design method
Fuzzy decision and control in manufacturing and automation
Conception de la mmoire dans les multiprocesseurs mmoire partage
Possibility theory, belief revision and nonmonotonic logic
Confrence Reprsentation Par Objet (RPO'94), 14imes journes internationales IA'94, Paris, France, 01/06/1994
Inter-oprabilit entre SGBD objet : proposition d'une architecture
Image and Signal Processing for Remote Sensing, Rome, Italie, 26/09/1994 - 30/09/1994
Expressing independence in a possibilistic framework and its application to default reasoning
12th IASTED International Conference on Applied Informatics, Annecy, France, 18/05/94
Proc. of the IEEE World Congress on Computational Intelligence, Orlando, FL, 26/06/1994-02/07/1994
Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights
Evaluation du langage Fol : Une machine abstraite pour le filtrage paresseux
Social choice theory for reaching consensus among agents
The specification of the temporal behaviour for multimedia scheduling
Ada Belgium seminary in cooperation with ACM/SIG Ada , Bruxelles, Belgique,
Performance evaluation for the specification of communicative objects within a cooperative GIS
Traitement possibiliste des rgles avec exceptions
EKAW'94, 8th European Knowledge Acquisition Workshop. A future for Knowledge Acquisition., Hoegaarden (B), 20/09/94-24/09/94
Une exprience de conception, d'implantation et d'valuation des performances d'une base de donnes sur la machine parallle DBC 1012
International Journal of Human-Computer Studies
Software for Multiprocessors and Supercomputers : Theory, Practice, Experience (SMS TPE'94), Moscou,
4th RIAO Intelligent Multimedia Information Retrieval Systems and Management , New York,
Paralllisation et optimisation d'applications temps-rel-strict
Using Ultra High-Speed Serial Links in Shared-Memory Multiprocessors
ROCK : Un systme de Question/Rponse fond sur le formalisme des Graphes Conceptuels
Similitary-based approximate reasoning", , , June 26-July 2, 1994
A Framework for Programming and Proving Concurrent Objects
20th Euromicro Conference on System Architecture and Integration, Liverpool,
A translation from the modal logic of provability into K4
An Approach to Designing Based on a Multiviewpoint Confrontation of Specular Agents
Search mechanisms using neural network model, comparison with vector space model
International Geoscience and Remote Sensing Symposium - IGARSS'94 , Pasadena, tats-Unis, 08/08/1994-12/08/1994
Synchronisation : de la spcification la synthse
Le paralllisme de donnes et dinstructions dans les multiprocesseurs mmoire commune
Serial Multiported Memory used as a cache disk in I/O subsystems
Multi-site planning : non flexible production units and set-up time treatment
3rd International Workshop on Peirce, College Park, MD, USA,
Journes PRC/GDR Architecture de Machines Nouvelles , Orsay,
Intgration entre planification linaire et excution d'actions en parallle
6 th Euromicro Workshop on real-time systems , -,
Reconfigurable Modular Architecture for Hard Real-time Applications
How to combine data abstraction and model refinement: a methodological contribution in MACAO
Algebraic and Logic Programming (ALP 1994), Madrid, 01/09/94-30/09/94
The derivation of scheduling algorithms from a timing model
Cooperation typology for decision support
Making a method of problem solving explicit with MACAO
How could object-oriented concepts and parallelism cohabit?
Journal of Computers and Artificial Intelligence
Fuzzy Segmentation and Structural Knowledge for Satellite Image Interpretation
Conceptual Graphs for Relational Databases : Implementation and Perspectives
International Geoscience and Remote Sensing Symposium - IGARSS'94 (volume 2) , Pasadena, tats-Unis, 08/08/1994-12/08/1994
Reprsentation des connaissances conditionnelles
Fuzzy Segmentation and Sample Based Object Recognition in Remote Sensing Image
Interconnexions dans un calculateur vectoriel et mmoire multiport srie
Actes du 9me Congress "Reconnaissance des Formes et Intelligence Artificielle", Paris, 11/01/94-14/01/94
GDTA International Symposium Geographic Information Remote Sensing and Training , Toulouse, France, 17/05/94
Les acteurs: smantique, placement et rflexivit
Evaluations, applications des liaisons srie haut dbit - Rapport final pour la rgion Midi-Pyrnes
Ada and persistance : realization with OODBMS O2
Projet GFLOPS : Rsultats et perspectives
Proc. of the ECAI'94 Workshop on Decision Theory for DAI Applications, Amsterdam, The Netherlands, 08/08/94-12/08/94
Anthropomorphic Model for Hand Gesture Interface
A decision engine based on rational aggregation of heuristic knowledge
VBOOL, une extension d'Eiffel intgrant le concept de point de vue
Rule Extraction Based on Neural Networks for Satellite Image Interpretation
Infrence argumente dans les bases de connaissances inconsistantes et stratifies
Book review: 'Uncertainty and Vagueness in Knowledge-Based Systems' by R Kruse, E Schwecke and J Heinsohn
Twelfth International Conference APPLIED INFORMATICS , Annecy, France,
Building component schema of a heterogeneous federated database with the IFO2 Model
Designing Reusable Parallel Software Components
IEEE Transactions on Systems, Man and Cybernetics
Gestion de transactions dans les bases de donnes rparties : modlisation et validation d'une architecture
Image and Signal Processing for Remote Sensing , Rome, Italie, 26/09/1994-30/09/1994
Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic
The multi-site Production Management problem : mathematical formalization and prototype developments
2nd International Conference on Conceptual Structures, ICCS'94, College Park, MD, USA,
Journes Jeunes Chercheurs du rseau doctoral Architecture , Orsay,
Confrence Maghrbine en gnie logiciel et intelligence artificielle , Rabat,
International Journal of Intelligent Systems (IJIS), Special Issue on Revision and Upadating in Knowledge bases
Vers l'intelligence artificielle collective
International Workshop on Information Technology (BIWIT'94), Biarritz, France, 07/02/94-09/02/94
Ensembles flous et thorie des possibilits: Notions de base
An ordinal view of independence, plausible reasoning and belief revision
Fuzzy sets in automated reasoning: Problems and methods
Hypothetical reasoning in possibilistic logic: basic notions and implementation issues
Basque International Workshop on Information Technology (BIWIT'94), Biarritz,
Focusing versus updating in belief function theory
Paralllisation automatique pour une excution en temps-rel
Une typologie pour une dmarche cooprative
Reprsentations et Transformations : Un modle de la rutilisabilit dans les langages fonctionnels objets
Perception surfacique tridimensionnelle par projection de grille
Techniques de rplication de donnes pour les systmes rpartis grande chelle
Contribution la conception d'une base de donnes fdre htrogne : Drivation, volution et intgration de schmas
Contribution l'tude de la rpartition d'applications crites en langage Ada 83
Modlisation par objets de sysmes complexes dans le cadre d'applications spatiales. Intgration des notions de vues et de version dans le modle Objet
Recherche de la configuration optimise d'une architecture cible pour une application Temps-Rel
Les Objets Concurrents et leurs Systmes de Preuve
Etude du paralllisme, conception et exprimentation de noyaux d'excution rpartie en traitement d'images
Gestion de production multi-site : une approche par satisfaction de contraintes
Paralllisation des Oprations de Requtes SQL tendu la dduction
Dduction automatique en logique multimodale, par traduction
Raisonnement non-monotone et traitement de l'inconsistance en logique possibiliste
Une approche de la gestion de la cohrence dans les bases de donnes objet. Application aux documents structurs
Editorial Summary ? Special Issue on Conditional Event Algebra
Colloque Automatique-Gnie Informatique - AGI'94, Poitiers, 02/06/1994-03/06/1994
Adaptive combination rules for possibility distributions
Thirteenth ACM Symposium on Principles of Distributed Computing (PODC94), Los Angeles,
Can we enforce full compositionality in uncertainty calculi ?
Image Processing Chain Construction by Interactive Goal Specification
VBOOM, une mthode d'analyse et de conception par objet fonde sur les points de vue
Intelligence Artificielle Collective et Calcul Emergent
Visibility : A new relationship for complex system modelling
12th IASTED International conference , Annecy,
Trajectoires optimales pousses continues faibles
2mes journes internationales ILCE'94 , Montpellier,
Recherche de la configuration optimise d'une application Temps-Rel-Strict
Proc. of the 3rd IEEE Inter. Conf. on Fuzzy Systems (FUZZ-IEEE?94, Orlando, FL, 26/06/94-29/06/94
Adaptive Mesh Generation for Progressive Radiosity: A Ray-tracing Based Algorithm
Units de Rexcution : Principes et Fonctionnement
5th EUROCHIP Workshop on VLSI Design training, -,
Exploiting Inter-Operation for SQL Query Optimization
Possibility theory in ?fault mode effect analyses ?A satellite fault diagnosis application?
12th IASTED International Conference on Applied Informatics , Annecy, France,
OHQL : A Database Querying Environment Intended For Naive Users
Fusion d'informations multi-sources l'aide de la thorie des possibilits : une application la classification dans le domaine de la tldtection