37 search results - page 8 / 8 » Hybrid BDD and All-SAT Method for Model Checking |
BMCBI
2010
13 years 6 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
WSCG
2004
13 years 7 months ago
2004
We present an accurate, interactive silhouette extraction mechanism for texture-based volume rendering. Compared to previous approaches, our system guarantees silhouettes of a use...