6279 search results - page 1035 / 1256 » Objects as session-typed processes |
147
click to vote
BTW
2007
Springer
16 years 25 days ago
2007
Springer
B-tree and index into two layers of abstraction. In addition, this paper provides algorithms for (i) concurrency control and recovery including locking of individual keys and of co...
171
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
189
click to vote
CIVR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we describe a fully automatic video retrieval prototype system that uses an image or a video sequence of an interested identity as probe. The system is based on fac...
156
click to vote
CLEAR
2007
Springer
16 years 25 days ago
2007
Springer
This paper presents the algorithm and evaluation results of a face detection and tracking system. A tree-structured multi-view face detector trained by Vector Boosting is used as t...
157
click to vote
EGH
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we present a method for rendering deformations as part of the programmable shader pipeline of contemporary Graphical Processing Units. In our method, we allow gener...