2218 search results - page 166 / 444 » Testing Expressibility Is Hard |
130
Voted
ENTCS
2006
15 years 25 days ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
78
Voted
EOR
2006
15 years 25 days ago
2006
In this paper, we provide a heuristic procedure, that performs well from a global optimality point of view, for an important and difficult class of bilevel programs. The algorithm...
115
click to vote
COR
2007
15 years 24 days ago
2007
We consider in this paper a new lagrangean relaxation with clusters for the Manufacturer’s Pallet Loading Problem (MPLP). The relaxation is based on the MPLP formulated as a Max...
103
click to vote
KES
2008
Springer
15 years 23 days ago
2008
Springer
In knowledge engineering, modelling knowledge is the process of structuring knowledge before implementation. A crucial part of system development depends on the acquiring and struc...
58
Voted
TMI
2002
15 years 13 days ago
2002
Abstract--A novel method for detection and imaging of microcalcifications in breast tissue is presented. The method, called vibro-acoustography, uses the radiation force of ultraso...