Sciweavers

1819 search results - page 165 / 364
» Computability and Representations of the Zero Set
Sort
View
SIGGRAPH
2010
ACM
15 years 11 months ago
Triangle surfaces with discrete equivalence classes
We propose a technique that takes a triangulated surface as input and outputs a surface with the same topology but altered geometry such that each polygon falls into a set of disc...
Mayank Singh, Scott Schaefer
DAC
2004
ACM
16 years 7 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
INFOVIS
2005
IEEE
16 years 2 days ago
An Interactive 3D Integration of Parallel Coordinates and Star Glyphs
Parallel Coordinates are a powerful method for visualizing multidimensional data, however, with large data sets they can become cluttered and difficult to read. On the other hand...
Elena Fanea, M. Sheelagh T. Carpendale, Tobias Ise...
ATAL
2007
Springer
15 years 10 months ago
Workflow coordination for service-oriented multiagent systems
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
Jiangbo Dang, Jingshan Huang, Michael N. Huhns
VC
2008
143views more  VC 2008»
15 years 6 months ago
A single-pass GPU ray casting framework for interactive out-of-core rendering of massive volumetric datasets
We present an adaptive out-of-core technique for rendering massive scalar volumes employing single pass GPU raycasting. The method is based on the decomposition of a volumetric dat...
Enrico Gobbetti, Fabio Marton, José Antonio...