2108 search results - page 114 / 422 » Constrained Heuristic Search |
107
Voted
ICCAD
2001
IEEE
15 years 10 months 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...
124
click to vote
SIGDOC
1997
ACM
15 years 6 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...
147
Voted
AIA
2006
15 years 3 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...
151
Voted
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
Recently, we proposed marginal space learning (MSL) as
a generic approach for automatic detection of 3D anatom-
ical structures in many medical imaging modalities. To
accurately...
126
click to vote
AAAI
2008
15 years 4 months ago
2008
Cooperative problem solving with resource constraints are important in practical multi-agent systems. Resource constraints are necessary to handle practical problems including dis...