2006 search results - page 17 / 402 » Heuristic Security-Testing Methods |
ENDM
2010
13 years 7 months ago
2010
In the past decade, significant progress has been achieved in developing generic primal heuristics that made their way into commercial mixed integer programming (MIP) solver. Exte...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
An Integrative Mental Model of Knowledge Management can provide a way of visualizing the interrelated elements that comprise a knowledge management system. This original model, bu...
AAAI
2000
13 years 11 months ago
2000
Sampling has become an important strategy for inference in belief networks. It can also be applied to the problem of selecting actions in influence diagrams. In this paper, we pre...
ICCAD
2001
IEEE
14 years 7 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
HCI
2009
13 years 8 months ago
2009
Heuristic evaluations are an efficient low cost method for identifying usability problems in a biomedical research tool. Combining the results of these evaluations with findings fr...