293 search results - page 22 / 59 » Computing Stable Models by Using the ATMS |
CLOUDCOM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper generalizes the methods in a previous paper [10] in two ways. First, a more comprehensive analysis of the initialization problem of the Chan-Vese models is given. Secon...
ASP
2001
Springer
14 years 1 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
STOC
2010
ACM
14 years 1 months ago
2010
ACM
In this paper we investigate distributed computation in dynamic networks in which the network topology changes from round to round. We consider a worst-case model in which the com...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper revisits the model-based approaches for groupwise shape alignment. The key contribution is modeling the landmarks instead of considering them as nodes sliding along the...