233 search results - page 5 / 47 » Efficient Combination of Decision Procedures for MUS Computa... |
CVRMED
1997
Springer
1997
Springer
An efficient needle injection technique and radiological guidance method for percutaneous procedures
13 years 11 months ago
This paper presents a simple radiologicd image guidance method and robotic system optimized for percutaneous procedures.This simplicity is achieved by combining the proven guidance...
BIBE
2007
IEEE
14 years 1 months ago
2007
IEEE
—High-throughput data such as microarrays make it possible to investigate the molecular-level mechanism of cancer more efficiently. Computational methods boost the microarray ana...
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
In the last two decades we have witnessed an impressive advance in the efficiency of propositional satisfiability techniques (SAT), which has brought large and previously-intractab...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Much research concerning Satisfiability Modulo Theories is devoted to the design of efficient SMT-solvers that integrate a SATsolver with T -satisfiability procedures. The rewrite-...
CADE
2003
Springer
14 years 8 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...