6514 search results - page 694 / 1303 » Low-Knowledge Algorithm Control |
188
click to vote
IROS
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Vision-based place recognition is a desirable feature for an autonomous mobile system. In order to work in realistic scenarios, visual recognition algorithms should be ...
159
click to vote
SIBGRAPI
2007
IEEE
16 years 25 days ago
2007
IEEE
Optical microscopic images, especially with a nonconfocal microscope, are fundamentally limited because the optical transfer function (the Fourier transform of the point-spread fu...
173
click to vote
CONCUR
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
147
click to vote
EUROPAR
2007
Springer
16 years 22 days ago
2007
Springer
The distributed nature of the grid results in the problem of scheduling parallel jobs produced by several independent organizations that have partial control over the system. We co...
168
click to vote
FROCOS
2007
Springer
16 years 22 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...