Sciweavers

1827 search results - page 215 / 366
» Interactive Implementation of Optimal Simulation Experiment ...
Sort
View
CGF
2010
143views more  CGF 2010»
13 years 8 months ago
Coherent Culling and Shading for Large Molecular Dynamics Visualization
Molecular dynamics simulations are a principal tool for studying molecular systems. Such simulations are used to investigate molecular structure, dynamics, and thermodynamical pro...
Sebastian Grottel, Guido Reina, Carsten Dachsbache...
CHI
2009
ACM
14 years 8 months ago
Improving visual search with image segmentation
People's ability to accurately locate target objects in images is severely affected by the prevalence of the sought objects. This negative effect greatly impacts critical rea...
Clifton Forlines, Ravin Balakrishnan
PG
2000
IEEE
14 years 20 days ago
FEM-Based Dynamic Subdivision Splines
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
Hong Qin
SIGSOFT
2003
ACM
14 years 9 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
PDP
2006
IEEE
14 years 2 months ago
An Experimental Validation of the PRO Model for Parallel and Distributed Computation
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
Mohamed Essaïdi, Jens Gustedt