Sciweavers

4629 search results - page 573 / 926
» Space Kernel Analysis
Sort
View
164
Voted
ICSC
1995
Springer
15 years 11 months ago
An Adaptive Supersampling Method
Original z-bu er method is a very ecient method for image generation. The limitation is that it introduces aliases into the output image. Although many di erent kinds of methods h...
Rynson W. H. Lau
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 9 months ago
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakris...
230
Voted
DAS
2008
Springer
15 years 9 months ago
The Convergence of Iterated Classification
We report an improved methodology for training a sequence of classifiers for document image content extraction, that is, the location and segmentation of regions containing handwr...
Chang An, Henry S. Baird
188
Voted
ICWSM
2008
15 years 9 months ago
Discovering Relationships among Tags and Geotags
This paper presents an analysis of the correlation of annotated information unit (textual) tags and geographical identification metadata geotags. In this paper, to make it possibl...
Sang Su Lee, Dongwoo Won, Dennis McLeod
UAI
2004
15 years 9 months ago
Graph Partition Strategies for Generalized Mean Field Inference
An autonomous variational inference algorithm for arbitrary graphical models requires the ability to optimize variational approximations over the space of model parameters as well...
Eric P. Xing, Michael I. Jordan