Search Sciweavers | Sciweavers

1176 search results - page 3 / 236

» Implicit Abstraction Heuristics

click to vote

JPL
1998

59views more JPL 1998»

Implicitly synchronized abstract data types: data structures for modular parallel programming

13 years 7 months ago

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

click to vote

AAAI
2010

215views Intelligent Agents» more AAAI 2010»

Searching Without a Heuristic: Efficient Use of Abstraction

13 years 9 months ago

Download www.cs.unh.edu

g Without a Heuristic: Efficient Use of Abstraction Bradford Larsen, Ethan Burns, Wheeler Ruml Department of Computer Science University of New Hampshire Durham, NH 03824 USA blars...

Bradford John Larsen, Ethan Burns, Wheeler Ruml, R...

claim paper

Read More »

click to vote

CONCUR
2012
Springer

226views Distributed And Parallel Com...» more CONCUR 2012»

Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction

11 years 9 months ago

Download www.cs.huji.ac.il

Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...

Guy Avni, Orna Kupferman

claim paper

Read More »

click to vote

SARA
2009
Springer

258views Artificial Intelligence» more SARA 2009»

Abstraction-Based Heuristics with True Distance Computations

14 years 2 months ago