442 search results - page 21 / 89 » An efficient class and object encoding |
DC
2006
14 years 11 months ago
2006
Some well-known primitive operations, such as compare-and-swap, can be used, together with read and write, to implement any object in a wait-free manner. However, this paper shows ...
123
click to vote
SIGSOFT
2007
ACM
16 years 15 days ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
103
click to vote
ADC
2008
Springer
15 years 1 months ago
2008
Springer
In order to find all occurrences of a tree/twig pattern in an XML database, a number of holistic twig join algorithms have been proposed. However, most of these algorithms focus o...
135
click to vote
DIS
2007
Springer
15 years 3 months ago
2007
Springer
A geometric graph is a labeled graph whose vertices are points in the 2D plane with an isomorphism invariant under geometric transformations such as translation, rotation, and scal...
130
click to vote
ECCV
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. This paper proposes a new approach to learning a discriminative model of object classes, incorporating appearance, shape and context information efficiently. The learned ...