Sciweavers

1291 search results - page 20 / 259
» Computing the multiplicity structure in solving polynomial s...
Sort
View
IMCSIT
2010
15 years 2 months ago
Solving a Kind of BVP for ODEs on heterogeneous CPU + CUDA-enabled GPU Systems
The aim of this paper is to show that a special kind of boundary value problem for second-order ordinary differential equations which reduces to the problem of solving a tridiagona...
Przemyslaw Stpiczynski, Joanna Potiopa
SMA
2006
ACM
101views Solid Modeling» more  SMA 2006»
15 years 11 months ago
A higher dimensional formulation for robust and interactive distance queries
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
Joon-Kyung Seong, David E. Johnson, Elaine Cohen
CORR
2011
Springer
172views Education» more  CORR 2011»
15 years 11 days ago
Improving Strategies via SMT Solving
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...
Thomas Martin Gawlitza, David Monniaux
ATAL
2005
Springer
15 years 11 months ago
A polynomial algorithm for decentralized Markov decision processes with temporal constraints
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...
Aurélie Beynier, Abdel-Illah Mouaddib
ACCV
2006
Springer
15 years 11 months ago
Inverse Volume Rendering Approach to 3D Reconstruction from Multiple Images
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
Shuntaro Yamazaki, Masaaki Mochimaru, Takeo Kanade