2008 search results - page 293 / 402 » Computing with Equations |
138
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
118
click to vote
MCM
2010
14 years 9 months ago
2010
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
116
Voted
VRIPHYS
2010
14 years 9 months ago
2010
In this paper we present an interactive method for simulating deformable objects using skeletal constraints. We introduce a two-way coupling of a finite element model and a skelet...
136
click to vote
DISOPT
2011
14 years 6 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
133
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
In this note, we propose a method to perform segmentation on the tensor manifold, that is, the space of positive definite matrices of given dimension. In this work, we explicitly ...