1143 search results - page 28 / 229 » Mental models of recursion |
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
LICS
2002
IEEE
14 years 18 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
JCP
2008
13 years 7 months ago
2008
In this paper, a model free uncalibrated visual servoing algorithm based on recursive least squares is proposed and discussed in depth. No robot kinetics or dynamics, camera calibr...
ICPR
2000
IEEE
14 years 8 months ago
2000
IEEE
The factorization method, which allows us to reconstruct the motion of the camera and shape of the object simultaneously from multiple images, provides high stability in numerical...
SLIP
2003
ACM
14 years 28 days ago
2003
ACM
In the past, a priori interconnect prediction, based on Rent’s rule, has been applied mainly for technology evaluation and roadmap applications. These applications do not requir...