6514 search results - page 698 / 1303 » Low-Knowledge Algorithm Control |
178
Voted
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
148
Voted
CMMR
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a novel method for the estimation of beat interval from audio files. As a first step, a feature extracted from the waveform is used to identify note onsets. T...
188
Voted
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Future planetary exploration missions will require rovers to traverse very rough terrain with limited human supervision. Wheel-terrain interaction plays a critical role in rough-t...
200
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes Icarus, an agent architecture that embeds a hierarchical reinforcement learning algorithm within a language for specifying agent behavior. An Icarus program e...
171
click to vote
ICPP
1999
IEEE
15 years 10 months ago
1999
IEEE
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...