2356 search results - page 59 / 472 » Characterizations of postman sets |
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Most complete answer set solvers are based on DPLL. One of the constraint propagation methods is the so-called lookahead, which has been somewhat controversial, due to it...
124
click to vote
ESOP
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ALGORITHMICA
2004
14 years 11 months ago
2004
We apply and extend the priority algorithm framework introduced by Borodin, Nielsen, and Rackoff to define "greedy-like" algorithms for the (uncapacitated) facility locat...
APAL
2004
14 years 11 months ago
2004
Abstract. We start by studying the relationship between two invariants isolated by Shelah, the sets of good and approachable points. As part of our study of these invariants, we pr...
HAPTICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Tactile and haptic interaction is becoming increasingly important and ergonomic standards can ensure that systems are designed with sufficient concerns for ergonomics and interoper...