613 search results - page 1 / 123 » A New Perspective on Stable Models |
IJCAI
2007
13 years 5 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
ICRA
2007
IEEE
13 years 10 months ago
2007
IEEE
— In this paper, we investigate the use of a spherical projection model to search for optimal visual features for visual servoing. A new minimal set of three visual features is p...
IROS
2008
IEEE
13 years 10 months ago
2008
IEEE
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...
ICCV
1999
IEEE
13 years 8 months ago
1999
IEEE
This paper presents a first investigation on the structure from motion problem from the combination of full and weak perspective images. This problem arises in multiresolution obj...