Sciweavers

2869 search results - page 215 / 574
» The Inference Problem: A Survey
Sort
View
COMPGEOM
2004
ACM
15 years 11 months ago
Searching with an autonomous robot
We discuss online strategies for visibility-based searching for an object hidden behind a corner, using Kurt3D, a real autonomous mobile robot. This task is closely related to a n...
Sándor P. Fekete, Rolf Klein, Andreas N&uum...
177
Voted
ALGOSENSORS
2004
Springer
15 years 11 months ago
Balanced Data Gathering in Energy-Constrained Sensor Networks
We consider the problem of gathering data from a wireless multi-hop network of energy-constrained sensor nodes to a common base station. Specifically, we aim to balance the total...
Emil Falck, Patrik Floréen, Petteri Kaski, ...
147
Voted
FSTTCS
2004
Springer
15 years 11 months ago
Verifying Probabilistic Procedural Programs
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
Javier Esparza, Kousha Etessami
PODC
1996
ACM
15 years 10 months ago
Atomicity in Electronic Commerce
There is tremendous demand for the ability to be able to electronically buy and sell goods over networks. This field is called electronic commerce, and it has inspired a large var...
J. D. Tygar
170
Voted
ESEM
2008
ACM
15 years 8 months ago
Pair programming: what's in it for me?
Pair programming is a practice in which two programmers work collaboratively at one computer on the same design, algorithm, or code. Prior research on pair programming has primari...
Andrew Begel, Nachiappan Nagappan