Sciweavers

2954 search results - page 209 / 591
» Beyond
Sort
View
AAAI
2008
15 years 9 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko
FLAIRS
2007
15 years 9 months ago
System Diagnosability Analysis Using p-slop MAP
Researchers have reported successful deployments of diagnosis decision support systems based on Bayesian networks. However, the methodology for evaluating the diagnosability for s...
Tsai-Ching Lu, K. Wojtek Przytula
FLAIRS
2007
15 years 9 months ago
Prioritized Reasoning in Logic Programming
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
FLAIRS
2008
15 years 9 months ago
Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
Neli P. Zlatareva, Maria Nisheva
AICCSA
2008
IEEE
246views Hardware» more  AICCSA 2008»
15 years 8 months ago
Using input/output queues to increase LDPC decoder performance
The paper presents a novel approach to increase the performance and/or throughput of iterative belief propagation (BP) decoding of low density parity check (LDPC) codes. The propo...
Esa Alghonaim, Aiman El-Maleh, Mohamed Adnan Lando...