1603 search results - page 83 / 321 » Multi-Dimensional Heuristic Searching |
121
Voted
ICCAD
2001
IEEE
16 years 24 days ago
2001
IEEE
We present a two-level Boolean minimization tool (BOOM) based on a new implicant generation paradigm. In contrast to all previous minimization methods, where the implicants are ge...
145
Voted
SIGDOC
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the strengths and weaknesses of two usability assessment methods frequently applied to web sites. It uses case histories of WWW usability studies conducted by...
169
Voted
AIA
2006
15 years 5 months ago
2006
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...
109
click to vote
PEPM
2009
ACM
16 years 23 days ago
2009
ACM
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
170
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— A hyperheuristic is a high level problem solving methodology that performs a search over the space generated by a set of low level heuristics. One of the hyperheuristic framewo...