260 search results - page 24 / 52 » Blocked Clause Elimination |
CORR
1998
Springer
13 years 7 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
ICRA
2000
IEEE
14 years 4 days ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. The inherently sequential nature of random discrete eventdriven simulation has made parallel and distributed processing di cult. This paper presents a method of applying ...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper proposes a statistical rejection rule, designed for small baseline stereo satellites. The method learns an a contrario model for image blocks and discards the casual ma...
SPAA
2004
ACM
14 years 1 months ago
2004
ACM
The literature describes two high performance concurrent stack algorithms based on combining funnels and elimination trees. Unfortunately, the funnels are linearizable but blockin...