2282 search results - page 446 / 457 » Active property checking |
NEUROSCIENCE
2001
Springer
14 years 2 months ago
2001
Springer
The Brain is a slow computer yet humans can skillfully play games such as tennis where very fast reactions are required. Of particular interest is the evidence for strategic thinki...
AMFG
2007
IEEE
14 years 1 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
ASIACRYPT
2007
Springer
14 years 1 months ago
2007
Springer
Secure multi-party computation (MPC) allows a set of n players to securely compute an agreed function of their inputs, even when up to t players are under the control of an adversa...
SIGIR
2010
ACM
14 years 1 months ago
2010
ACM
Web-based social systems enable new community-based opportunities for participants to engage, share, and interact. This community value and related services like search and advert...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....