Sciweavers

2008 search results - page 333 / 402
» Computing with Equations
Sort
View
CORR
2006
Springer
102views Education» more  CORR 2006»
13 years 10 months ago
A library of Taylor models for PVS automatic proof checker
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
Francisco Cháves, Marc Daumas
IJCV
2006
262views more  IJCV 2006»
13 years 10 months ago
A Variational Model for Object Segmentation Using Boundary Information and Shape Prior Driven by the Mumford-Shah Functional
In this paper, we propose a new variational model to segment an object belonging to a given shape space using the active contour method, a geometric shape prior and the Mumford-Sha...
Xavier Bresson, Pierre Vandergheynst, Jean-Philipp...
GRID
2000
Springer
14 years 1 months ago
An Advanced User Interface Approach for Complex Parameter Study Process Specification on the Information Power Grid
The creation of parameter study suites has recently become a more challenging problem as the parameter studies have become multi-tiered and the computational environment has becom...
Maurice Yarrow, Karen M. McCann, Rupak Biswas, Rob...
IJVR
2008
106views more  IJVR 2008»
13 years 10 months ago
Improved View Frustum Culling Technique for Real-Time Virtual Heritage Application
Real-time virtual heritage application is normally executed with a high performance computer system. This is due to the complexity and highly computational cost which makes such sy...
Mohd Shahrizal Sunar, Abdullah Mohd Zin, Tengku M....
CAD
2004
Springer
13 years 10 months ago
Graphics-assisted Rolling Ball Method for 5-axis surface machining
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
Paul J. Gray, Fathy Ismail, Sanjeev Bedi