1486 search results - page 144 / 298 » Algorithms for two-box covering |
139
click to vote
ECP
1999
Springer
15 years 8 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
130
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
145
click to vote
DSP
2006
15 years 4 months ago
2006
We address the problem of detecting the presence of hidden messages in audio. The detector is based on the characteristics of the denoised residuals of the audio file, which may c...
122
click to vote
IJVR
2008
15 years 4 months ago
2008
This paper proposes the use of animal flocks to naturally provide spatial clues in adventure video-games. This approach complements the so far proposed mechanisms to support naviga...
139
click to vote
JNW
2006
15 years 4 months ago
2006
Tracking of mobile targets is an important application of sensor networks. This is a non-trivial problem as the increased accuracy of tracking results in an overall reduction in th...