1026 search results - page 105 / 206 » A Methodology for Equational Reasoning |
ICCSA
2004
Springer
14 years 2 months ago
2004
Springer
Modeling fluid flow in a porous medium is a challenging computational problem. It involves highly heterogeneous distributions of porous medium property, various fluid flow char...
PARA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
ERP implementation issues have been given much attention since two decades ago due to its low implementation success. Nearly 90 percent of ERP implementations are late or over bud...
ICCV
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a novel non-parametric unsupervised segmentation algorithm based on Region Competition [21]; but implemented within a Level Sets framework [11]. The key novelty of the ...
VISUALIZATION
2002
IEEE
14 years 2 months ago
2002
IEEE
We propose the use of textured splats as the basic display primitives for an open surface fire model. The high-detail textures help to achieve a smooth boundary of the fire and ...