Search Sciweavers | Sciweavers

3333 search results - page 29 / 667

» Abstract Proof Search

118

Voted

SP
2006
IEEE

74views Security Privacy» more SP 2006»

New Constructions and Practical Applications for Private Stream Searching (Extended Abstract)

15 years 9 months ago

Download www.cs.berkeley.edu

John Bethencourt, Dawn Xiaodong Song, Brent Waters

claim paper

Read More »

click to vote

SARA
2005
Springer

89views Artificial Intelligence» more SARA 2005»

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

15 years 8 months ago

Download anytime.cs.umass.edu

Natalia N. Beliaeva, Shlomo Zilberstein

claim paper

Read More »

click to vote

CP
2003
Springer

98views Artificial Intelligence» more CP 2003»

Control Abstractions for Local Search

15 years 8 months ago

Download www.cs.brown.edu

Pascal Van Hentenryck, Laurent Michel

claim paper

Read More »

click to vote

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

Revising the evolutionary computation abstraction: minimal criteria novelty search

15 years 8 months ago

Download eplex.cs.ucf.edu

Joel Lehman, Kenneth O. Stanley

claim paper

Read More »

103

click to vote

AI
2005
Springer

91views Artificial Intelligence» more AI 2005»

Heuristic Search Applied to Abstract Combat Games

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers