Sciweavers

596 search results - page 61 / 120
» Search Strategies for Hybrid Search Spaces
Sort
View
EMSOFT
2003
Springer
14 years 2 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
DEXA
2008
Springer
181views Database» more  DEXA 2008»
13 years 10 months ago
Query Recommendation Using Large-Scale Web Access Logs and Web Page Archive
Query recommendation suggests related queries for search engine users when they are not satisfied with the results of an initial input query, thus assisting users in improving sear...
Lin Li, Shingo Otsuka, Masaru Kitsuregawa
EVOW
2008
Springer
13 years 10 months ago
Compound Particle Swarm Optimization in Dynamic Environments
Adaptation to dynamic optimization problems is currently receiving a growing interest as one of the most important applications of evolutionary algorithms. In this paper, a compoun...
Lili Liu, Dingwei Wang, Shengxiang Yang
IDEAS
2003
IEEE
91views Database» more  IDEAS 2003»
14 years 2 months ago
Implementation Issues of a Deterministic Transformation System for Structured Document Query Optimization
As the popularity of XML keeps growing rapidly, XML compliant structured document management becomes an interesting and compelling research area. Query optimization for structured...
Dunren Che
GECCO
2005
Springer
129views Optimization» more  GECCO 2005»
14 years 2 months ago
Morphing methods in evolutionary design optimization
Design optimization is a well established application field of evolutionary computation. However, standard recombination operators acting on the genotypic representation of the d...
Michael Nashvili, Markus Olhofer, Bernhard Sendhof...