2799 search results - page 345 / 560 » The regenerator location problem |
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes an autonomous robot system designed to solve the challenging task of geocaching. Geocaching involves locating a goal object in an outdoor environment given on...
162
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Current multi-display environments (MDEs) can be composed of displays with different characteristics (e.g. resolution, size) located in any position and at different angl...
171
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
188
click to vote
BIOCOMP
2007
15 years 8 months ago
2007
Low-Complexity Regions (LCRs) of biological sequences are the main source of false positives in similarity searches for biological sequence databases. We consider the problem of ï...
182
click to vote
ICMLA
2008
15 years 8 months ago
2008
We propose a novel approach for on-line treatment verification using cine EPID (Electronic Portal Imaging Device) images for hypofractionated lung radiotherapy based on a machine ...