Sciweavers

554 search results - page 19 / 111
» Principles of scatter search
Sort
View
JAIR
2011
103views more  JAIR 2011»
13 years 2 months ago
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
C. Geist, Ulrich Endriss
APAL
2011
13 years 2 months ago
The provably total NP search problems of weak second order bounded arithmetic
We define a new NP search problem, the “local improvement” principle, about labellings of an acyclic, bounded-degree graph. We show that, provably in PV, it characterizes the...
Leszek Aleksander Kolodziejczyk, Phuong Nguyen, Ne...
CHI
2006
ACM
14 years 8 months ago
Integrating models of human-computer visual interaction
Predicting visual search behavior in human-computer interaction is a challenging problem. It is important for predictive modeling of human-computer interaction to integrate the vi...
Tim Halverson
GECCO
2006
Springer
159views Optimization» more  GECCO 2006»
13 years 11 months ago
Credit assignment in adaptive evolutionary algorithms
In this paper, a new method for assigning credit to search operators is presented. Starting with the principle of optimizing search bias, search operators are selected based on an...
James M. Whitacre, Q. Tuan Pham, Ruhul A. Sarker
ACSC
2001
IEEE
13 years 11 months ago
Optimised Phrase Querying and Browsing of Large Text Databases
Most search systems for querying large document collections---for example, web search engines---are based on well-understood information retrieval principles
Dirk Bahle, Hugh E. Williams, Justin Zobel