746 search results - page 114 / 150 » Updates Under Pstable |
ICLP
2010
Springer
14 years 12 days 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...
HRI
2007
ACM
14 years 11 days 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 ...
3DPVT
2006
IEEE
14 years 7 days 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...
BIRTHDAY
2006
Springer
14 years 7 days 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
14 years 7 days 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...