Sciweavers

2828 search results - page 181 / 566
» Custom Local Search
Sort
View
SARA
2007
Springer
16 years 19 days ago
DFS-Tree Based Heuristic Search
Abstract. In constraint satisfaction, local search is an incomplete method for finding a solution to a problem. Solving a general constraint satisfaction problem (CSP) is known to...
Montserrat Abril, Miguel A. Salido, Federico Barbe...
SPIN
2005
Springer
15 years 12 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 6 months ago
A Trustability Metric for Code Search based on Developer Karma
The promise of search-driven development is that developers will save time and resources by reusing external code in their local projects. To efficiently integrate this code, user...
Florian S. Gysin, Adrian Kuhn
CAD
1998
Springer
15 years 6 months ago
Knot-removal surface fairing using search strategies
Abstract. This paper presents two automatic fairing algorithms for parametric C2 -continuous bi-cubic B-spline surfaces. The fairing method consists of a knot removal and knot rein...
Stefanie Hahmann, Stefan Konz
MICCAI
2009
Springer
16 years 7 months ago
Think Global, Act Local; Projectome Estimation with BlueMatter
Estimating the complete set of white matter fascicles (the projectome) from diffusion data requires evaluating an enormous number of potential pathways; consequently, most algorith...
Anthony Sherbondy, Robert Dougherty, Rajagopal A...