1180 search results - page 131 / 236 » A generic structure-from-motion framework |
ECOOP
2007
Springer
15 years 2 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
82
Voted
GPCE
2007
Springer
15 years 2 months ago
2007
Springer
Large scale software is composed of libraries produced by different entities. Non-intrusive and efficient mechanisms for adapting data structures from one library to conform to AP...
84
Voted
CGO
2004
IEEE
15 years 2 months ago
2004
IEEE
We study several major characteristics of dynamic optimization within the PARROT power-aware, trace-cachebased microarchitectural framework. We investigate the benefit of providin...
81
Voted
CCS
2008
ACM
15 years 28 days ago
2008
ACM
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating the proofs which are inherently larg...
ACE
2004
15 years 10 days ago
2004
This paper describes the processes involved in developing and implementing the Doctor of Computing (DComp) programme at UNITEC Institute of Technology. It is the first professiona...