Sciweavers

739 search results - page 87 / 148
» Sorting Algorithms
Sort
View
CGF
2002
93views more  CGF 2002»
13 years 7 months ago
Transparency in Interactive Technical Illustrations
This paper describes how technical illustrations containing opaque and non-opaque objects can be automatically generated. Traditional methods to show transparency in manual drawin...
Joachim Diepstraten, Daniel Weiskopf, Thomas Ertl
GRAPHICSINTERFACE
2001
13 years 9 months ago
Accelerated Splatting using a 3D Adjacency Data Structure
We introduce a new acceleration to the standard splatting volume rendering algorithm. Our method achieves full colour (32-bit), depth-sorted and shaded volume rendering significan...
Jeff Orchard, Torsten Möller
LPAR
2010
Springer
13 years 5 months ago
Disunification for Ultimately Periodic Interpretations
Abstract. Disunification is an extension of unification to first-order formulae over syntactic equality atoms. Instead of considering only syntactic equality, I extend a disunifica...
Matthias Horbach
KDD
2006
ACM
165views Data Mining» more  KDD 2006»
14 years 8 months ago
Outlier detection by sampling with accuracy guarantees
An effective approach to detect anomalous points in a data set is distance-based outlier detection. This paper describes a simple sampling algorithm to efficiently detect distance...
Mingxi Wu, Chris Jermaine
SAS
2009
Springer
119views Formal Methods» more  SAS 2009»
14 years 8 months ago
Abstraction Refinement for Quantified Array Assertions
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wi...