10909 search results - page 72 / 2182 » Evaluating Backup Algorithms |
120
Voted
AAAI
2000
15 years 4 months ago
2000
In this paper, we present PQSOLVE, a distributed theorem-prover for Quantified Boolean Formulae. First, we introduce our sequential algorithm QSOLVE, which uses new heuristics and...
153
Voted
AAAI
2012
13 years 5 months ago
2012
Kernel methods have been successfully applied to many machine learning problems. Nevertheless, since the performance of kernel methods depends heavily on the type of kernels being...
137
Voted
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— An important milestone for building affordable robots that can become widely popular is to address robustly the Simultaneous Localization and Mapping (SLAM) problem with inexpe...
113
click to vote
TASLP
2010
14 years 10 months ago
2010
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...
233
click to vote
ICDE
2002
IEEE
16 years 4 months ago
2002
IEEE
Network, web, and disk I/O traffic are usually bursty, self-similar [9, 3, 5, 6] and therefore can not be modeled adequately with Poisson arrivals[9]. However, we do want to model...