305 search results - page 24 / 61 » Using Answer Sets to Solve Belief Change Problems |
148
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We introduce the patch transform, where an image is broken into non-overlapping patches, and modifications or constraints are applied in the "patch domain". A modified i...
142
click to vote
IPMI
2005
Springer
16 years 5 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
145
click to vote
LPNMR
2001
Springer
15 years 9 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. As the model of asynchronous syst...
130
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
152
Voted
UM
2001
Springer
15 years 9 months ago
2001
Springer
Abstract: An emerging practice in e-commerce systems is to conduct interviews with buyers in order to identify their needs. The goal of such an interview is to determine sets of pr...