250 search results - page 4 / 50 » Regular Types for Active Objects |
124
Voted
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
In the present treatise an image sensor acquiring additional depth information is applied to extend regular computer vision algorithms. The so called Photonic Mixer Device (PMD) b...
115
Voted
ICIP
2008
IEEE
15 years 9 months ago
2008
IEEE
In several imaging inverse problems, it may be of interest to encourage the solution to have characteristics which are most naturally expressed by the combination of more than one...
126
Voted
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
177
Voted
WACV
2012
IEEE
13 years 10 months ago
2012
IEEE
Human movements are important cues for recognizing human actions, which can be captured by explicit modeling and tracking of actor or through space-time low-level features. Howeve...
134
Voted
ENTCS
2007
15 years 2 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...