442 search results - page 24 / 89 » An efficient class and object encoding |
125
Voted
MPC
2004
Springer
15 years 9 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
131
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
We present a general framework for characterizing the object identity in a single image or a group of images with each image containing a transformed version of the object, with a...
147
Voted
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a novel classification strategy for 3D objects. Our technique is based on using a Global Geodesic Function to intrinsically describe the surface ofan object. T...
177
Voted
DAIS
2006
15 years 5 months ago
2006
This paper shows how to build a scalable, robust and efficient distributed Internet-scale RDF repository, that we name PAGE (Put And Get Everywhere). 1 Motivation In the recent yea...
148
Voted
ASC
2000
15 years 5 months ago
2000
A new language and inference algorithm for stochastic modeling is presented. This work refines and generalizes the stochastic functional language originally proposed by [1]. The l...