1072 search results - page 50 / 215 » Object-Oriented Type Inference |
315
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
170
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
181
click to vote
ECOOP
2012
Springer
13 years 8 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
173
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
We study the task to infer and to track the viewpoint onto a 3D rigid object by observing its image contours in a sequence of images. To this end, we consider the manifold of invar...