5948 search results - page 271 / 1190 » Computing Robust Counter-Strategies |
150
Voted
ISWC
1997
IEEE
15 years 8 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...
122
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a finite element modeling based approach to compute strain patterns caused by facial deformation during expressions in videos. A sparse motion field computed through ...
123
click to vote
HPDC
2002
IEEE
15 years 9 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
121
click to vote
GC
2004
Springer
15 years 9 months ago
2004
Springer
Polynomial time adversaries based on a computational view of cryptography have additional capabilities that the classical Dolev-Yao adversary model does not include. To relate thes...
132
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...