1308 search results - page 188 / 262 » Bayesian Algorithmic Mechanism Design |
122
Voted
SAMT
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, an ontology-driven approach for the semantic analysis of video is proposed. This approach builds on an ontology infrastructure and in particular a multimedia ontolog...
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Resource sharing across different computers and organizations makes it possible to support diverse, dynamic changing resource requirements of distributed applications. Reservation...
100
Voted
ICPPW
2006
IEEE
15 years 6 months ago
2006
IEEE
Homotopy methods to solve polynomial systems are well suited for parallel computing because the solution paths defined by the homotopy can be tracked independently. For sparse po...
93
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— The inherent spread spectrum nature in ultrawideband (UWB) communications can support simultaneous transmissions. Two nearby transmissions do not collide, but rather ge...
110
Voted
ACL2
2006
ACM
15 years 6 months 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...