Sciweavers

17760 search results - page 299 / 3552
» A Generalization of the Massey-Ding Algorithm
Sort
View
AAAI
2000
15 years 8 months ago
MarketSAT: An Extremely Decentralized (but Really Slow) Algorithm for Propositional Satisfiability
We describe MarketSAT, a highly decentralized, marketbased algorithm for propositional satisfiability. The approach is based on a formulation of satisfiability as production on a ...
William E. Walsh, Michael P. Wellman
FLAIRS
2000
15 years 8 months ago
A Deterministic Algorithm for Solving Imprecise Decision Problems
Today there are numerous tools for decision analysis, suitable both for human and artificial decision makers. Most of these tools require the decision maker to provide precise num...
Håkan L. S. Younes, Love Ekenberg
COLING
1994
15 years 8 months ago
Universal Guides And Finiteness And Symmetry Of Grammar Processing Algorithms
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
Miroslav Martinovic
GECCO
2010
Springer
232views Optimization» more  GECCO 2010»
15 years 7 months ago
Genetic algorithms for automatic classification of moving objects
This paper presents an integrated approach, combining a state-of-the-art commercial object detection system and genetic algorithms (GA)-based learning for automatic object classif...
Omid David-Tabibi, Nathan S. Netanyahu, Yoav Rosen...
GECCO
2008
Springer
141views Optimization» more  GECCO 2008»
15 years 7 months ago
Co-optimization algorithms
While coevolution has many parallels to natural evolution, methods other than those based on evolutionary principles may be used in the interactive fitness setting. In this paper...
Travis C. Service, Daniel R. Tauritz