Sciweavers

2450 search results - page 429 / 490
» Exploring Unknown Environments
Sort
View
160
Voted
ADHOC
2006
115views more  ADHOC 2006»
15 years 3 months ago
Routing characteristics of ad hoc networks with unidirectional links
Unidirectional links in an ad hoc network can result from factors such as heterogeneity of receiver and transmitter hardware, power control or topology control algorithms, or diff...
Jorjeta G. Jetcheva, David B. Johnson
145
Voted
ENTCS
2008
106views more  ENTCS 2008»
15 years 3 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
123
Voted
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 3 months ago
Metric State Space Reinforcement Learning for a Vision-Capable Mobile Robot
We address the problem of autonomously learning controllers for visioncapable mobile robots. We extend McCallum's (1995) Nearest-Sequence Memory algorithm to allow for genera...
Viktor Zhumatiy, Faustino J. Gomez, Marcus Hutter,...
130
Voted
GRID
2006
Springer
15 years 3 months ago
Grid Deployment of Legacy Bioinformatics Applications with Transparent Data Access
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
Christophe Blanchet, Rémi Mollon, Douglas T...
170
Voted
CN
2007
243views more  CN 2007»
15 years 3 months ago
A survey on wireless multimedia sensor networks
The availability of low-cost hardware such as CMOS cameras and microphones has fostered the development of Wireless Multimedia Sensor Networks (WMSNs), i.e., networks of wirelessl...
Ian F. Akyildiz, Tommaso Melodia, Kaushik R. Chowd...