293 search results - page 22 / 59 » Computing Stable Models by Using the ATMS |
167
click to vote
CLOUDCOM
2010
Springer
15 years 3 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...
161
click to vote
ICPR
2006
IEEE
16 years 7 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...
160
click to vote
ASP
2001
Springer
15 years 10 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...
177
click to vote
STOC
2010
ACM
15 years 10 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...
181
click to vote
ICPR
2006
IEEE
16 years 7 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...