5863 search results - page 1041 / 1173 » On Model-Checking of P Systems |
147
click to vote
AVBPA
1997
Springer
15 years 8 months ago
1997
Springer
In this paper we describe a system to reliably localize the position of the speaker’s face and mouth in videophone sequences. A statistical scheme based on a subspace method is p...
132
Voted
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
We introduce dag consistency, a relaxed consistency model for distributed shared memory which is suitable for multithreaded programming. We have implemented dag consistency in sof...
178
click to vote
ISER
1997
Springer
15 years 8 months ago
1997
Springer
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
147
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we develop a computational model of visual adaptation for realistic image synthesis based on psychophysical experiments. The model captures the changes in threshold ...
126
click to vote
FOCS
1994
IEEE
15 years 8 months ago
1994
IEEE
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...