2343 search results - page 176 / 469 » Structure and Interpretation of Computer Programs |
137
click to vote
CVPR
2001
IEEE
16 years 7 months ago
2001
IEEE
This paper presents a novel approach for recognizing and interpreting dimensions in engineering drawings. It starts by detecting potential dimension frames, each comprising only t...
124
click to vote
IJCNN
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present a computational model of human category learning that learns the essential structures of the categories by forgetting information that is not useful for the given ta...
194
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
Trajectory basis Non-Rigid Structure From Motion (NRSFM) currently faces two problems: the limit of reconstructability and the need to tune the basis size for different sequences....
262
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
245
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...