2309 search results - page 153 / 462 » Efficient Topological Exploration |
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
WCNC
2010
IEEE
14 years 3 days ago
2010
IEEE
—The IEEE 802.15.4 standard was developed for the purpose of media access control of low power wireless personal area networks. Wireless sensor network devices have the general c...
CSCW
2006
ACM
13 years 12 months ago
2006
ACM
In this paper, we explore ways to combine the video of a remote person with a shared tabletop display to best emulate face-to-face collaboration. Using a simple photo application ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Multi-Agent Reinforcement Learning (MARL) algorithms suffer from slow convergence and even divergence, especially in large-scale systems. In this work, we develop a supervision fr...
LREC
2010
13 years 9 months ago
2010
We introduce CCASH (Cost-Conscious Annotation Supervised by Humans), an extensible web application framework for cost-efficient annotation. CCASH provides a framework in which cos...