4843 search results - page 303 / 969 » The Shortcut Problem - Complexity and Approximation |
154
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
Pattern extraction from music strings is an important problem. The patterns extracted from music strings can be used as features for music retrieval or analysis. Previous works on ...
128
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
We examine the problem of retrieving the top-m ranked items from a large collection, randomly distributed across an n-node system. In order to retrieve the top m overall, we must ...
128
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
136
Voted
STOC
1999
ACM
15 years 8 months ago
1999
ACM
We investigate the question of when a prover can aid a verifier to reliably compute a function faster than if the verifier were to compute the function on its own. Our focus is ...
135
click to vote
AAAI
2006
15 years 5 months ago
2006
Planning in partially-observable dynamical systems is a challenging problem, and recent developments in point-based techniques such as Perseus significantly improve performance as...