Sciweavers

1996 search results - page 38 / 400
» A decision procedure for linear
Sort
View
78
Voted
CADE
2006
Springer
15 years 10 months ago
Verifying Mixed Real-Integer Quantifier Elimination
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
Amine Chaieb
SAS
1997
Springer
111views Formal Methods» more  SAS 1997»
15 years 1 months ago
Fast and Effective Procedure Inlining
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
Oscar Waddell, R. Kent Dybvig
NIPS
2001
14 years 11 months ago
The Concave-Convex Procedure (CCCP)
We introduce the Concave-Convex procedure (CCCP) which constructs discrete time iterative dynamical systems which are guaranteed to monotonically decrease global optimization/ener...
Alan L. Yuille, Anand Rangarajan
82
Voted
MICCAI
2002
Springer
15 years 11 months ago
Needle Insertion Modelling for the Interactive Simulation of Percutaneous Procedures
Abstract. A novel interactive virtual needle insertion simulation is presented. The insertion model simulates three-degree-of-freedom needle motion, physically-based needle forces,...
Simon P. DiMaio, S. E. Salcudean
87
Voted
MP
2002
84views more  MP 2002»
14 years 10 months ago
A decomposition procedure based on approximate Newton directions
The efficient solution of large-scale linear and nonlinear optimization problems may require exploiting any special structure in them in an efficient manner. We describe and analy...
Antonio J. Conejo, Francisco J. Nogales, Francisco...