Sciweavers

206 search results - page 38 / 42
» A Taxonomy of Cooperative Search Algorithms
Sort
View
HICSS
2009
IEEE
103views Biometrics» more  HICSS 2009»
14 years 2 months ago
A Thin Client Interface to a High Performance Multi-modal Image Analytics System
We describe a platform for performing text and radiology analytics (TARA). We integrate commercially available hardware and middleware components to construct an environment which...
James W. Cooper, Shahram Ebadollahi, Ellen Eide
ATAL
2009
Springer
14 years 2 months ago
Lossless clustering of histories in decentralized POMDPs
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute a generic and expressive framework for multiagent planning under uncertainty. However, plannin...
Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J....
IROS
2006
IEEE
197views Robotics» more  IROS 2006»
14 years 1 months ago
Heterogeneous Multi-Robot Localization in Unknown 3D Space
— This paper presents a self-localization strategy for a team of heterogenous mobile robots, including ground mobile robots of various sizes and wall-climbing robots. These robot...
Yi Feng 0002, Zhigang Zhu, Jizhong Xiao
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
13 years 12 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ATAL
2006
Springer
13 years 11 months ago
ACTIVE: agile coordinator testbed integrated virtual environment
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
G. Emami, J. Cheng, D. Cornwell, M. Feldhousen, C....