11022 search results - page 382 / 2205 » Programming Systems for Autonomy |
157
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
173
click to vote
HICSS
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper reports results from an exploratory study investigating the activity patterns of pair programming using a student project conducted over a period of nine weeks. We foun...
193
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
214
click to vote
ASP
2005
Springer
16 years 12 days ago
2005
Springer
This paper outlines a novel approach to the computation of answer sets in an evolving and interactive environment. Instead of recomputing the semantics of the entire program, our a...
181
click to vote
BIRTHDAY
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...