Sciweavers

1583 search results - page 85 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
118
Voted
IJCAI
2001
15 years 4 months ago
Causal interaction: from a high-level representation to an operational event-based representation
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
Irène Grosclaude, Marie-Odile Cordier, Rene...
151
Voted
GW
2009
Springer
151views Biometrics» more  GW 2009»
15 years 17 days ago
Towards Interactive Web-Based Virtual Signers: First Step, a Platform for Experimentation Design
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
Jean-Paul Sansonnet, Annelies Braffort, Cyril Verr...
133
Voted
JAIR
2008
126views more  JAIR 2008»
15 years 2 months ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
153
Voted
DAC
2003
ACM
16 years 3 months ago
Accurate timing analysis by modeling caches, speculation and their interaction
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...
Xianfeng Li, Tulika Mitra, Abhik Roychoudhury
111
Voted
RR
2007
Springer
15 years 9 months ago
Proof Explanation in the DR-DEVICE System
Trust is a vital feature for the Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain t...
Nick Bassiliades, Grigoris Antoniou, Guido Governa...