1072 search results - page 50 / 215 » Object-Oriented Type Inference |
TOPLAS
1998
15 years 2 months ago
1998
258
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...
133
click to vote
VL
1999
IEEE
15 years 7 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...
142
click to vote
ECOOP
2012
Springer
13 years 5 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...
135
click to vote
ECCV
2008
Springer
16 years 5 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...