Sciweavers

1573 search results - page 242 / 315
» Signs and Formal Concepts
Sort
View
AI
2005
Springer
14 years 3 months ago
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
AIED
2005
Springer
14 years 3 months ago
Semantic Description of Collaboration Scripts for Service Oriented CSCL Systems
Abstract. Many CSCL systems have embraced scripting and service oriented computing to achieve effective collaboration and system flexibility, respectively. While learning standard...
Guillermo Vega-Gorgojo, Miguel L. Bote-Lorenzo, Ed...
AIIA
2005
Springer
14 years 3 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
AIME
2005
Springer
14 years 3 months ago
Learning Rules from Multisource Data for Cardiac Monitoring
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
Élisa Fromont, Rene Quiniou, Marie-Odile Co...
ATAL
2005
Springer
14 years 3 months ago
Formalising trust for online communities
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
Ali Shaikh Ali, Omer F. Rana