1143 search results - page 142 / 229 » Mental models of recursion |
CSL
2009
Springer
14 years 3 months ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper applies some previously studied extended Kalman filter techniques for planar road geometry estimation to the domain of autonomous navigation of offhighway v...
COLT
2003
Springer
14 years 2 months ago
2003
Springer
Sublearning, a model for learning of subconcepts of a concept, is presented. Sublearning a class of total recursive functions informally means to learn all functions from that cla...