Sciweavers

1583 search results - page 85 / 317
» Feature Interaction Detection in the Feature Language Extens...
Sort
View
IJCAI
2001
13 years 9 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...
GW
2009
Springer
151views Biometrics» more  GW 2009»
13 years 5 months 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...
JAIR
2008
126views more  JAIR 2008»
13 years 8 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...
DAC
2003
ACM
14 years 9 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
RR
2007
Springer
14 years 2 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...