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