940 search results - page 22 / 188 » Control Abstractions for Local Search |
100
click to vote
JETAI
2008
15 years 1 months ago
2008
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional sat...
135
click to vote
TROB
2011
14 years 8 months ago
2011
—We study the problem of actively searching for an object in a 3D environment under the constraint of a maximum search time, using a visually guided humanoid robot with twentysix...
114
click to vote
BIBE
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—Recent improvements in high-throughput genotyping technology make possible genome-wide association studies and status prediction (classification) for common complex dis...
150
click to vote
CCGRID
2004
IEEE
15 years 5 months ago
2004
IEEE
Recently Peer-to-Peer networks (P2P) have gained great attention and popularity. One key challenging aspect in a P2P resource sharing environment is an efficient searching algorit...
113
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— We present a semi-parametric control policy representation and use it to solve a series of nonholonomic control problems with input state spaces of up to 7 dimensions. A neares...