We describe MarketSAT, a highly decentralized, marketbased algorithm for propositional satisfiability. The approach is based on a formulation of satisfiability as production on a ...
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...
This paper presents a novel technique called "universal guides" which explores inherent properties of logic grammars (changing variable binding status) in order to chara...
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...
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...