1143 search results - page 62 / 229 » Mental models of recursion |
205
Voted
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
ct The backbone of the XML data model, namely ordered, unranked trees, is inherently recursive and it is natural to equip the associated languages with constructs that can query su...
77
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
103
Voted
HRI
2006
ACM
15 years 6 months ago
2006
ACM
Interacting with a domestic service robot implies the existence of a joint environment model for user and robot. To enable robot navigation within such a setting requires further ...
106
click to vote
POPL
2010
ACM
15 years 23 days ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
123
click to vote
IANDC
2007
15 years 15 days ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...