6608 search results - page 935 / 1322 » On the Completeness of Model Checking |
178
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract--A new method for the estimation of multiple concurrent pitches in piano recordings is presented. It addresses the issue of overlapping overtones by modeling the spectral ...
171
click to vote
TMC
2012
13 years 9 months ago
2012
In this paper we study the availability of TV white spaces in Europe. Specifically, we focus on the 470–790 MHz UHF band, which will predominantly remain in use for TV broadcas...
183
click to vote
HRI
2006
ACM
16 years 24 days ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....
177
Voted
VLC
2010
15 years 5 months ago
2010
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...
192
click to vote
AIPS
2011
14 years 10 months ago
2011
Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowledge. Learning complete domain descriptions is also very chall...