1143 search results - page 28 / 229 » Mental models of recursion |
96
Voted
ICALP
2009
Springer
16 years 23 days 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...
113
click to vote
LICS
2002
IEEE
15 years 5 months 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...
110
Voted
JCP
2008
15 years 13 days 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...
93
Voted
ICPR
2000
IEEE
16 years 1 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
15 years 5 months 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...