3646 search results - page 618 / 730 » Voice search for development |
196
click to vote
AAAI
2010
15 years 3 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
168
click to vote
3DOR
2010
15 years 1 months ago
2010
In this paper we present the results of the Shape Retrieval Contest'10 (SHREC'10) of Generic 3D Warehouse. The aim of this track was to evaluate the performances of vari...
187
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
The Affine ADD (AADD) is an extension of the Algebraic Decision Diagram (ADD) that compactly represents context-specific, additive and multiplicative structure in functions from a...
175
click to vote
CIM
2011
15 years 1 months ago
2011
We propose to return to the roots of Artificial/Computational Intelligence applicability to board games domain by attempting to mimic human way of playing (or human intelligence ...
175
click to vote
COGSR
2011
15 years 1 months ago
2011
In bandit problems, a decision-maker must choose between a set of alternatives, each of which has a fixed but unknown rate of reward, to maximize their total number of rewards ov...