1180 search results - page 123 / 236 » A generic structure-from-motion framework |
86
Voted
TCS
2008
14 years 10 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
FGCS
2002
14 years 10 months ago
2002
In this paper we present the new project called GridLab which is funded by the European Commission under the Fifth Framework Programme. The GridLab project, made up of computer sc...
95
Voted
ICIP
2010
IEEE
14 years 8 months ago
2010
IEEE
We propose a method to compute scale invariant features in omnidirectional images. We present a formulation based on Riemannian geometry for the definition of differential operato...
ICPPW
2009
IEEE
14 years 8 months ago
2009
IEEE
The JXTA-Overlay project is an effort to use JXTA technology to provide a generic set of functionalities that can be used by developers to deploy P2P applications. Since its desig...
104
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...