Sciweavers

11808 search results - page 2025 / 2362
» Isometries and Computability Structures
Sort
View
IJCAI
2003
15 years 8 months ago
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...
Bill MacCartney, Sheila A. McIlraith, Eyal Amir, T...
VG
2001
15 years 8 months ago
Splatting with Shadows
In this paper we describe an efficient approach to add shadows to volumetric scenes. The light emitted by the lightsource is properly attenuated by the intervening volumetric struc...
Manjushree Nulkar, Klaus Mueller
STRINGOLOGY
2004
15 years 8 months ago
Sorting suffixes of two-pattern strings
Recently, several authors presented linear recursive algorithms for sorting suffixes of a string. All these algorithms employ a similar three-step approach, based on an initial di...
Frantisek Franek, William F. Smyth
VISSYM
2004
15 years 8 months ago
Shape-Embedded-Histograms for Visual Data Mining
Scatterplots are widely used in exploratory data analysis and class visualization. The advantages of scatterplots are that they are easy to understand and allow the user to draw c...
Amihood Amir, Reuven Kashi, Daniel A. Keim, Nathan...
VMV
2004
208views Visualization» more  VMV 2004»
15 years 8 months ago
Fourier Volume Rendering on the GPU Using a Split-Stream-FFT
The Fourier volume rendering technique operates in the frequency domain and creates line integral projections of a 3D scalar field. These projections can be efficiently generated ...
Thomas Jansen, Bartosz von Rymon-Lipinski, Nils Ha...
« Prev « First page 2025 / 2362 Last » Next »