2218 search results - page 166 / 444 » Testing Expressibility Is Hard |
ENTCS
2006
13 years 9 months 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 ...
EOR
2006
13 years 9 months 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...
COR
2007
13 years 9 months 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...
KES
2008
Springer
13 years 9 months 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...
TMI
2002
13 years 9 months 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...