Sciweavers

1101 search results - page 14 / 221
» heuristics 2007
Sort
View
TACAS
2007
Springer
98views Algorithms» more  TACAS 2007»
14 years 1 months ago
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking
Sebastian Kupferschmid, Klaus Dräger, Jö...
BIBM
2007
IEEE
110views Bioinformatics» more  BIBM 2007»
13 years 11 months ago
Risk Factor Searching Heuristics for SNP Case-Control Studies
This paper addresses the computational challenge facing association analysis of case-control studies
Dumitru Brinza, Alexander Zelikovsky
EOR
2007
86views more  EOR 2007»
13 years 7 months ago
The affect heuristic
Paul Slovic, Melissa L. Finucane, Ellen Peters, Do...
CAEPIA
2007
Springer
14 years 1 months ago
Heuristics for Planning with Action Costs
We introduce a non-admissible heuristic for planning with action costs, called the set-additive heuristic, that combines the benefits of the additive heuristic used in the HSP pla...
Emil Keyder, Hector Geffner
IJCAI
1989
13 years 8 months ago
Parallel Iterative A* Search: An Admissible Distributed Heuristic Search Algorithm
In this paper, a distributed heuristic search algorithm is presented. We show that the algorithm is admissible and give an informal analysis of its load balancing, scalability, an...
Shie-rei Huang, Larry S. Davis