Search Sciweavers | Sciweavers

3333 search results - page 29 / 667

» Abstract Proof Search

143

click to vote

SP
2006
IEEE

74views Security Privacy» more SP 2006»

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

15 years 12 months ago

Download www.cs.berkeley.edu

John Bethencourt, Dawn Xiaodong Song, Brent Waters

claim paper

Read More »

109

click to vote

SARA
2005
Springer

89views Artificial Intelligence» more SARA 2005»

Generating Admissible Heuristics by Abstraction for Search in Stochastic Domains

15 years 11 months ago

Download anytime.cs.umass.edu

Natalia N. Beliaeva, Shlomo Zilberstein

claim paper

Read More »

122

Voted

CP
2003
Springer

98views Artificial Intelligence» more CP 2003»

Control Abstractions for Local Search

15 years 11 months ago

Download www.cs.brown.edu

Pascal Van Hentenryck, Laurent Michel

claim paper

Read More »

110

Voted

GECCO
2010
Springer

160views Optimization» more GECCO 2010»

Revising the evolutionary computation abstraction: minimal criteria novelty search

15 years 10 months ago

Download eplex.cs.ucf.edu

Joel Lehman, Kenneth O. Stanley

claim paper

Read More »

129

Voted

AI
2005
Springer

91views Artificial Intelligence» more AI 2005»

Heuristic Search Applied to Abstract Combat Games

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers