7762 search results - page 1162 / 1553 » Availability in BitTorrent Systems |
186
Voted
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
200
Voted
CSCW
2006
ACM
16 years 25 days ago
2006
ACM
Mixed Reality Architecture (MRA) supports distributed teams in their everyday work activities by linking multiple physical spaces across a shared three-dimensional virtual world. ...
182
click to vote
JCDL
2006
ACM
16 years 25 days ago
2006
ACM
In this paper, we describe the Travelers in the Middle East Archive (TIMEA), a digital archive focused on Western explorations in the Middle East between the 18th and early 20th c...
201
Voted
MM
2006
ACM
16 years 25 days ago
2006
ACM
Precise automated video search is gaining in importance as the amount of multimedia information is increasing at exponential rates. One of the drawbacks that make video retrieval ...
181
click to vote
MOBICOM
2006
ACM
16 years 25 days ago
2006
ACM
With the increasing sophistication of both manned and unmanned systems for remote ocean exploration, a wealth of knowledge about heretofore-unknown oceanic processes has become av...