2261 search results - page 191 / 453 » Relationships Between Models of Concurrency |
WSC
1997
13 years 9 months ago
1997
Descriptive Sampling (DS), a Monte Carlo sampling technique based on a deterministic selection of the input values and their random permutation, represents a deep conceptual chang...
VC
2008
13 years 8 months ago
2008
We present an efficient approach to reduce the number of elementary tests for continuous collision detection between rigid and deformable models. Our algorithm exploits the connect...
FORTE
2009
13 years 6 months ago
2009
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
TCSV
2010
13 years 3 months ago
2010
This paper presents a novel approach for automatic recognition of group activities for video surveillance applications. We propose to use a group representative to handle the recog...
IJCV
2007
13 years 8 months ago
2007
In this paper, we study face hallucination, or synthesizing a high-resolution face image from an input low-resolution image, with the help of a large collection of other high-reso...