Sciweavers

7421 search results - page 11 / 1485
» In search of dependable design
Sort
View
DEXA
2010
Springer
213views Database» more  DEXA 2010»
14 years 10 months ago
Efficient K-Nearest Neighbor Search in Time-Dependent Spatial Networks
The class of k Nearest Neighbor (kNN) queries in spatial networks has been widely studied in the literature. All existing approaches for kNN search in spatial networks assume that ...
Ugur Demiryurek, Farnoush Banaei Kashani, Cyrus Sh...
61
Voted
SAT
2007
Springer
94views Hardware» more  SAT 2007»
15 years 3 months ago
Variable Dependency in Local Search: Prevention Is Better Than Cure
Steven David Prestwich
SAT
2010
Springer
194views Hardware» more  SAT 2010»
15 years 1 months ago
Integrating Dependency Schemes in Search-Based QBF Solvers
Florian Lonsing, Armin Biere