60 search results - page 9 / 12 » Towards Constructing a Class Evolution Model |
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
A theory of stereo image formation is presented that enables a complete classification of all possible stereo views, including non-perspective varieties. Towards this end, the not...
APLAS
2004
ACM
15 years 4 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
106
click to vote
FOSSACS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
IJCV
2007
14 years 11 months ago
2007
Humans have an amazing ability to instantly grasp the overall 3D structure of a scene – ground orientation, relative positions of major landmarks, etc – even from a single ima...
108
click to vote
ECAI
2010
Springer
15 years 12 days ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...