Sciweavers

3392 search results - page 397 / 679
» Using Knowledge Representation to Understand Interactive Sys...
Sort
View
IPPS
2007
IEEE
16 years 10 days ago
Using Speed Diagrams for Symbolic Quality Management
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...
SIS
2008
15 years 7 months ago
Network Access Control Interoperation using Semantic Web Techniques
Network Access Control requirements are typically implemented in practice as a series of heterogeneous security-mechanism-centric policies that span system services and application...
William M. Fitzgerald, Simon N. Foley, Mích...
CIMCA
2005
IEEE
15 years 11 months ago
OntoBayes: An Ontology-Driven Uncertainty Model
— This paper describes an ontology-driven model, which integrates Bayesian Networks (BN) into the Ontology Web Language (OWL) to preserve the advantages of both. This model makes...
Yi Yang, Jacques Calmet
ISIPTA
1999
IEEE
103views Mathematics» more  ISIPTA 1999»
15 years 10 months ago
A Review of Propagation Algorithms for Imprecise Probabilities
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
Andrés Cano, Serafín Moral
AAAI
2008
15 years 8 months ago
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...