2436 search results - page 367 / 488 » Evaluating Adaptive Problem Selection |
136
Voted
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
110
Voted
NAACL
2007
15 years 5 months ago
2007
This paper studies methods that automatically detect action-items in e-mail, an important category for assisting users in identifying new tasks, tracking ongoing ones, and searchi...
102
Voted
TWC
2008
15 years 3 months ago
2008
Abstract-- Most existing work on adaptive allocation of subcarriers and power in multiuser OFDM systems has focused on homogeneous traffic consisting of delay-constrained data (gua...
125
Voted
DEBU
2000
15 years 3 months ago
2000
Execution plans produced by traditional query optimizers for data integration queries may yield poor performance for several reasons. The cost estimates may be inaccurate, the mem...
141
Voted
HCI
2009
15 years 1 months ago
2009
When we encounter an English word that we do not understand, we can look it up in a dictionary. However, when an American Sign Language (ASL) user encounters an unknown sign, looki...