2356 search results - page 161 / 472 » Characterizations of postman sets |
175
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Nested logic programs and epistemic logic programs are two important extensions of answer set programming. However, the relationship between these two formalisms is rarel...
159
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
176
click to vote
HYBRID
2004
Springer
16 years 3 days ago
2004
Springer
Reaching a target while remaining in a given set for impulse dynamics can be characterized by a non deterministic controlled differential equation and a controlled instantaneous r...
183
click to vote
ICLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
176
click to vote
AMFG
2003
IEEE
16 years 18 hour ago
2003
IEEE
In this paper we describe an approach for inferring the body posture using a 3D visual-hull constructed from a set of silhouettes. We introduce an appearance-based, view-independe...