2526 search results - page 28 / 506 » A New Algorithm for Answer Set Computation |
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
CAV
2006
Springer
14 years 28 days ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
The continuous intersection join query is computationally expensive yet important for various applications on moving objects. No previous study has particularly addressed this que...
IJCAI
2003
13 years 10 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Failure detector class Ωk has been defined in [18] as an extension to failure detector Ω, and an algorithm has been given in [16] to solve k-set agreement using Ωk in async...