746 search results - page 114 / 150 » Updates Under Pstable |
ICLP
2010
Springer
15 years 3 months ago
2010
Springer
hex programs were originally introduced as a general framework for extending declarative logic programming, under the stable model semantics, with the possibility of bidirectional...
103
click to vote
HRI
2007
ACM
15 years 3 months ago
2007
ACM
Learning by demonstration can be a powerful and natural tool for developing robot control policies. That is, instead of tedious hand-coding, a robot may learn a control policy by ...
125
click to vote
3DPVT
2006
IEEE
15 years 3 months ago
2006
IEEE
We address multiple-view reconstruction under an optimization approach based on belief propagation. A novel formulation of belief propagation that operates in 3-D is proposed to f...
101
click to vote
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...
CW
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper aims to study how to gain the consistency of the state in a DVE (Distributed Virtual Environment) with lag, under the condition of peer-to-peer architecture. That is, w...