1297 search results - page 90 / 260 » Large Model Visualization: Techniques and Applications |
QEST
2009
IEEE
14 years 3 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
SCALESPACE
1999
Springer
14 years 1 months ago
1999
Springer
Since the work by Osher and Sethian on level-sets algorithms for numerical shape evolutions, this technique has been used for a large number of applications in numerous fields. In...
WSC
1997
13 years 10 months ago
1997
This paper examines the construction and implementation of a simulation model that supports the design and development of the Queston Physician Network. Queston seeks to partner w...
VISUALIZATION
2002
IEEE
14 years 1 months ago
2002
IEEE
Isosurfaces are commonly used to visualize scalar fields. Critical isovalues indicate isosurface topology changes: the creation of new surface components, merging of surface comp...
BMCBI
2004
13 years 8 months ago
2004
Background: Very often genome-wide data analysis requires the interoperation of multiple databases and analytic tools. A large number of genome databases and bioinformatics applic...