3446 search results - page 160 / 690 » A Reasoning Algorithm for pD* |
137
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
141
click to vote
DLOG
2007
15 years 6 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
123
click to vote
DLOG
2008
15 years 6 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
133
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
148
click to vote
HIS
2004
15 years 5 months ago
2004
This paper presents a novel approach to speech recognition using fuzzy modeling. The task begins with conversion of speech spectrogram into a linguistic description based on arbit...