12519 search results - page 445 / 2504 » Approximation Problems Categories |
199
click to vote
DASFAA
2005
IEEE
16 years 15 days 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 ...
179
click to vote
FORMATS
2004
Springer
16 years 8 days 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...
153
click to vote
DASFAA
2003
IEEE
16 years 5 days ago
2003
IEEE
Data warehouses are of crucial importance to decision-making in competitive organizations. The fact that they store enormous quantities of data is a challenge in what concerns per...
192
click to vote
STOC
1999
ACM
15 years 11 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 ...
185
click to vote
AAAI
2006
15 years 8 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...