573 search results - page 96 / 115 » On Wiedemann's Method of Solving Sparse Linear Systems |
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
Efficient direct solutions for the determination of a cylinder from points are presented. The solutions range from the well known direct solution of a quadric to the minimal soluti...
MICCAI
2008
Springer
14 years 10 months ago
2008
Springer
We propose to measure quantitatively the opacity property of each pixel in a ground-glass opacity tumor from CT images. Our method results in an opacity map in which each pixel tak...
SIGGRAPH
2010
ACM
14 years 28 days ago
2010
ACM
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
GLVLSI
2005
IEEE
14 years 2 months ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...