4276 search results - page 349 / 856 » Techniques for Empirical Validation |
163
click to vote
ICASSP
2010
IEEE
15 years 7 months ago
2010
IEEE
Graphs are canonical examples of high-dimensional non-Euclidean data sets, and are emerging as a common data structure in many fields. While there are many algorithms to analyze ...
165
click to vote
ICDIM
2007
IEEE
15 years 7 months ago
2007
IEEE
In collaborative filtering systems, a common technique is default voting. Unknown ratings are filled with a default value to alleviate the sparsity of rating databases. We show ...
172
click to vote
CI
2010
15 years 7 months ago
2010
Some domains, such as real-time strategy (RTS) games, pose several challenges to traditional planning and machine learning techniques. In this paper, we present a novel on-line ca...
187
click to vote
COR
2006
15 years 6 months ago
2006
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
182
click to vote
JAIR
2008
15 years 6 months ago
2008
In this paper we introduce MINIMAXSAT, a new Max-SAT solver that is built on top of MINISAT+. It incorporates the best current SAT and Max-SAT techniques. It can handle hard claus...