1724 search results - page 145 / 345 » Abstract Interpreters for Free |
183
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. We describe a novel approach to view interpolation from image sequences based on probabilistic depth carving. This builds a multivalued representation of depth for novel ...
176
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. In order to reconstruct 3-D Euclidean shape by the TomasiKanade factorization, one needs to specify an affine camera model such as orthographic, weak perspective, and par...
277
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
175
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
263
click to vote
PAM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. A free and easy to use distributed monitoring and measurement platform would be valuable in several applications: monitoring network or server infrastructures, performing...