Sciweavers

882 search results - page 111 / 177
» Visibility-driven transfer functions
Sort
View
SAS
2010
Springer
149views Formal Methods» more  SAS 2010»
13 years 7 months ago
Boxes: A Symbolic Abstract Domain of Boxes
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
Arie Gurfinkel, Sagar Chaki
SMC
2010
IEEE
276views Control Systems» more  SMC 2010»
13 years 7 months ago
A Modified Invasive Weed Optimization Algorithm for training of feed- forward Neural Networks
— Invasive Weed Optimization Algorithm IWO) is an ecologically inspired metaheuristic that mimics the process of weeds colonization and distribution and is capable of solving mul...
Ritwik Giri, Aritra Chowdhury, Arnob Ghosh, Swagat...
TVCG
2010
142views more  TVCG 2010»
13 years 7 months ago
Illustrative Volume Visualization Using GPU-Based Particle Systems
—Illustrative techniques are generally applied to produce stylized renderings. Various illustrative styles have been applied to volumetric data sets, producing clearer images and...
Roy van Pelt, Anna Vilanova, Huub van de Wetering
ICASSP
2010
IEEE
13 years 7 months ago
On the use of machine translation for spoken language understanding portability
Across language portability of a spoken language understanding system (SLU) deals with the possibility of reusing with moderate effort in a new language knowledge and data acquire...
Christophe Servan, Nathalie Camelin, Christian Ray...
ICCAD
2010
IEEE
117views Hardware» more  ICCAD 2010»
13 years 7 months ago
A synthesis flow for digital signal processing with biomolecular reactions
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
Hua Jiang, Aleksandra P. Kharam, Marc D. Riedel, K...