Sciweavers

1101 search results - page 14 / 221
» heuristics 2007
Sort
View
TACAS
2007
Springer
98views Algorithms» more  TACAS 2007»
15 years 11 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»
15 years 9 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»
15 years 5 months ago
The affect heuristic
Paul Slovic, Melissa L. Finucane, Ellen Peters, Do...
CAEPIA
2007
Springer
15 years 11 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
15 years 6 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