Sciweavers

2343 search results - page 47 / 469
» Visual-Concept Search Solved
Sort
View
139
Voted
AIA
2006
15 years 2 months ago
Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
Benno Stein, Oliver Niggemann, Theodor Lettmann
99
Voted
ITSSA
2006
100views more  ITSSA 2006»
15 years 1 months ago
A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search
: Stakeholder search is a general framework for an extension to the improving on the competition approach paradigm for cooperative search that allows for additional individual goal...
Alan Fedoruk, Jörg Denzinger
AIIA
2009
Springer
15 years 7 months ago
Partitioning Search Spaces of a Randomized Search
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
WSC
2004
15 years 2 months ago
Simulation Optimization Using Balanced Explorative and Exploitative Search
We present a new random search method for solving simulation optimization problems. Our approach emphasizes the need for maintaining the right balance between exploration and expl...
Andrei A. Prudius, Sigrún Andradótti...
ICEC
1994
82views more  ICEC 1994»
15 years 2 months ago
Improving Search by Incorporating Evolution Principles in Parallel Tabu Search
Combinatorial optimization problems require computing efforts which grow at least exponentially with the problem dimension. Therefore, the use of the remarkable power of massively...
Ivan De Falco, Renato Del Balio, Ernesto Tarantino...