Sciweavers

279 search results - page 8 / 56
» Type Reconstruction for SCI
Sort
View
BMVC
1998
13 years 9 months ago
The Precision of 3D Reconstruction from Uncalibrated Views
We consider reconstruction algorithms using points tracked over a sequence of (at least three) images, to estimate the positions of the cameras (motion parameters), the 3D coordin...
Etienne Grossmann, José Santos-Victor
ENTCS
2006
89views more  ENTCS 2006»
13 years 7 months ago
A Type-theoretic Reconstruction of the Visitor Pattern
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
Peter Buchlovsky, Hayo Thielecke
IVC
2000
186views more  IVC 2000»
13 years 7 months ago
Uncertainty analysis of 3D reconstruction from uncalibrated views
We consider reconstruction algorithms using points tracked over a sequence of (at least three) images, to estimate the positions of the cameras (motion parameters), the 3D coordin...
Etienne Grossmann, José Santos-Victor
CL
2002
Springer
13 years 7 months ago
Behavioural typing for safe ambients
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
Michele Bugliesi, Giuseppe Castagna
ECAI
2006
Springer
13 years 11 months ago
A Learning Classifier Approach to Tomography
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
Kees Joost Batenburg