98 search results - page 20 / 20 » Minimal paths and cycles in set systems |
122
Voted
CIKM
2007
Springer
15 years 5 months ago
2007
Springer
We investigate the problem of how to evaluate, fast and efficiently, classes of optimal route queries on a massive graph in a unified framework. To evaluate a route query effectiv...
122
Voted
TASLP
2008
15 years 29 days ago
2008
We describe an acoustic chord transcription system that uses symbolic data to train hidden Markov models and gives best-of-class frame-level recognition results. We avoid the extre...
126
Voted
ASE
2005
15 years 29 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...