4372 search results - page 329 / 875 » Algorithmic Theories of Everything |
173
click to vote
VMCAI
2007
Springer
16 years 26 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
173
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
A new musical onset detection technique based on adaptive linear prediction theory is proposed in this work. We decompose a music signal into multiple sub-bands, and then apply a ...
219
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...
184
click to vote
SIGECOM
2005
ACM
16 years 10 days ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...
137
click to vote
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars,...