596 search results - page 56 / 120 » Subtyping Recursive Types |
131
click to vote
BMVC
1997
15 years 2 months ago
1997
In this paper we present an algorithm for structure and motion (SM) recovery under affine projection from video sequences. The algorithm tracks the motion of a single structure, b...
145
click to vote
CIE
2007
Springer
15 years 5 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
110
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
OOPSLA
2001
Springer
15 years 5 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...
118
click to vote
ADT
2005
15 years 1 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...