1002 search results - page 109 / 201 » Reasoning about Object Structures Using Ownership |
115
Voted
IJCAI
2007
15 years 3 months ago
2007
Most existing sketch understanding systems require a closed domain to achieve recognition. This paper describes an incremental learning technique for opendomain recognition. Our s...
128
click to vote
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
134
click to vote
CSL
2009
Springer
15 years 6 months ago
2009
Springer
My talk will be a survey of recent results about the quest for a logic capturing polynomial time. In a fundamental study of database query languages, Chandra and Harel [4] first ra...
160
click to vote
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
153
click to vote
3DPVT
2004
IEEE
15 years 6 months ago
2004
IEEE
Looking around in our every day environment, many of the encountered objects are specular to some degree. Actively using this fact when reconstructing objects from image sequences...