Sciweavers

184 search results - page 15 / 37
» Mutation Sampling Technique for the Generation of Structural...
Sort
View
BILDMED
2007
134views Algorithms» more  BILDMED 2007»
13 years 9 months ago
Generation of Hulls Encompassing Neuronal Pathways Based on Tetrahedralization and 3D Alpha Shapes
Abstract. Diffusion tensor imaging provides information about structure and location of white matter tracts within the human brain which is of particular interest for neurosurgery...
Dorit Merhof, Martin Meister, Ezgi Bingöl, Pe...
DAGSTUHL
2006
13 years 9 months ago
Efficient Software Model Checking of Data Structure Properties
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
Chandrasekhar Boyapati, Paul T. Darga
SIGMOD
2006
ACM
89views Database» more  SIGMOD 2006»
14 years 8 months ago
Testing database applications
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
Carsten Binnig, Donald Kossmann, Eric Lo
EMMCVPR
2009
Springer
14 years 2 months ago
Clustering-Based Construction of Hidden Markov Models for Generative Kernels
Generative kernels represent theoretically grounded tools able to increase the capabilities of generative classification through a discriminative setting. Fisher Kernel is the fi...
Manuele Bicego, Marco Cristani, Vittorio Murino, E...
CGF
2008
129views more  CGF 2008»
13 years 8 months ago
Caustic Forecasting: Unbiased Estimation of Caustic Lighting for Global Illumination
We present an unbiased method for generating caustic lighting using importance sampled Path Tracing with Caustic Forecasting. Our technique is part of a straightforward rendering ...
B. C. Budge, John C. Anderson, Kenneth I. Joy