1180 search results - page 123 / 236 » A generic structure-from-motion framework |
138
Voted
TCS
2008
15 years 4 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...
130
click to vote
FGCS
2002
15 years 4 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...
151
click to vote
ICIP
2010
IEEE
15 years 2 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...
157
Voted
ICPPW
2009
IEEE
15 years 2 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...
166
Voted
POPL
2012
ACM
14 years 5 days 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...