3446 search results - page 302 / 690 » A Reasoning Algorithm for pD* |
150
click to vote
GLVLSI
2005
IEEE
16 years 6 days ago
2005
IEEE
As timing requirements in today’s advanced VLSI designs become more aggressive, the need for automated tools to diagnose timing failures increases. This work presents two such a...
180
click to vote
TLDI
2005
ACM
16 years 4 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
154
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
Cooperative co-evolution is often used to solve difficult optimization problems by means of problem decomposition. Its performance for such tasks can vary widely from good to disa...
163
click to vote
ICNC
2005
Springer
16 years 3 days ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
186
click to vote
PADL
2005
Springer
16 years 2 days ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...