Sciweavers

11345 search results - page 1634 / 2269
» Foundations of Computer Science
Sort
View
ICPPW
2005
IEEE
16 years 16 days ago
Performance Prophet: A Performance Modeling and Prediction Tool for Parallel and Distributed Programs
High-performance computing is essential for solving large problems and for reducing the time to solution for a single problem. Current top high-performance computing systems conta...
Sabri Pllana, Thomas Fahringer
VISUALIZATION
2005
IEEE
16 years 16 days ago
Visualizing the tightening of knots
The study of physical models for knots has recently received much interest in the mathematics community. In this paper, we consider the ropelength model, which considers knots tie...
Jason Cantarella, Michael Piatek, Eric Rawdon
VISUALIZATION
2005
IEEE
16 years 16 days ago
Phonon Tracing for Auralization and Visualization of Sound
We present a new particle tracing approach for the simulation of mid- and high-frequency sound. Inspired by the photorealism obtained by methods like photon mapping, we develop a ...
Martin Bertram, Eduard Deines, Jan Mohring, Jevgen...
VISUALIZATION
2005
IEEE
16 years 16 days ago
The Magic Volume Lens: An Interactive Focus+Context Technique for Volume Rendering
The size and resolution of volume datasets in science and medicine are increasing at a rate much greater than the resolution of the screens used to view them. This limits the amou...
Lujin Wang, Ye Zhao, Klaus Mueller, Arie E. Kaufma...
BIRTHDAY
2005
Springer
16 years 15 days ago
Natural Language Proof Explanation
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
Armin Fiedler
« Prev « First page 1634 / 2269 Last » Next »