1116 search results - page 213 / 224 » Key Agreement Using Statically Keyed Authenticators |
IJAR
2008
13 years 7 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
PR
2008
13 years 7 months ago
2008
Human gesture recognition plays an important role in automating the analysis of video material at a high level. Especially in sports videos, the determination of the player's...
TOG
2008
13 years 7 months ago
2008
Humans usually associate an upright orientation with objects, placing them in a way that they are most commonly seen in our surroundings. While it is an open challenge to recover ...
DAC
1999
ACM
14 years 8 months ago
1999
ACM
While previous watermarking-based approaches to intellectual property protection (IPP) have asymmetrically emphasized the IP provider's rights, the true goal of IPP is to ens...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...