3446 search results - page 680 / 690 » A Reasoning Algorithm for pD* |
120
click to vote
CGF
2010
15 years 1 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
132
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
139
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We initiate the study of an interesting aspect of sponsored search advertising, namely the consequences of broad match- a feature where an ad of an advertiser can be mapped to a b...
100
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Linearity tests are randomized algorithms which have oracle access to the truth table of some function f, and are supposed to distinguish between linear functions and functions whi...
107
click to vote
AI
2006
Springer
15 years 1 months ago
2006
Springer
Branch-and-bound and branch-and-cut use search trees to identify optimal solutions to combinatorial optimization problems. In this paper, we introduce an iterative search strategy...