Sciweavers

9626 search results - page 259 / 1926
» Invariant Based Programming
Sort
View
ICCV
2005
IEEE
16 years 8 months ago
Modeling Scenes with Local Descriptors and Latent Aspects
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...
Pedro Quelhas, Florent Monay, Jean-Marc Odobez, Da...
ECCV
2004
Springer
16 years 8 months ago
Simultaneous Object Recognition and Segmentation by Image Exploration
Methods based on local, viewpoint invariant features have proven capable of recognizing objects in spite of viewpoint changes, occlusion and clutter. However, these approaches fail...
Vittorio Ferrari, Tinne Tuytelaars, Luc J. Van Goo...
APLAS
2003
ACM
15 years 11 months ago
A Typeful and Tagless Representation for XML Documents
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...
Dengping Zhu, Hongwei Xi
OOPSLA
1997
Springer
15 years 10 months ago
Parasitic Methods: An Implementation of Multi-Methods for Java
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
John Boyland, Giuseppe Castagna
ESOP
2006
Springer
15 years 10 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller