Sciweavers

8724 search results - page 300 / 1745
» Search result diversification
Sort
View
JAIR
2006
108views more  JAIR 2006»
15 years 6 months ago
Preference-based Search using Example-Critiquing with Suggestions
We consider interactive tools that help users search for their most preferred item in a large collection of options. In particular, we examine example-critiquing, a technique for ...
Paolo Viappiani, Boi Faltings, Pearl Pu
JAIR
2007
79views more  JAIR 2007»
15 years 6 months ago
Probabilistic Planning via Heuristic Forward Search and Weighted Model Counting
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
Carmel Domshlak, Jörg Hoffmann
IJKESDP
2010
149views more  IJKESDP 2010»
15 years 5 months ago
An approximate solution method based on tabu search for k-minimum spanning tree problems
—This paper considers k-minimum spanning tree problems. An existing solution algorithm based on tabu search, which was proposed by Katagiri et al., includes an iterative solving ...
Hideki Katagiri, Tomohiro Hayashida, Ichiro Nishiz...
PPSN
2010
Springer
15 years 5 months ago
Variable Neighborhood Search and Ant Colony Optimization for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Abstract. The rooted delay-constrained minimum spanning tree problem is an NP-hard combinatorial optimization problem arising for example in the design of centralized broadcasting ...
Mario Ruthmair, Günther R. Raidl
PTS
2010
147views Hardware» more  PTS 2010»
15 years 5 months ago
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Recently there has been an upsurge of interest in both, Search– Based Software Testing (SBST), and Dynamic Symbolic Execution (DSE). Each of these two approaches has complementar...
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jon...