Sciweavers

3736 search results - page 594 / 748
» Generative Programming
Sort
View
VMV
2001
144views Visualization» more  VMV 2001»
15 years 8 months ago
Towards Real-Time Visual Simulation of Water Surfaces
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
Jens Schneider, Rüdiger Westermann
PODS
2002
ACM
117views Database» more  PODS 2002»
16 years 7 months ago
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
Georg Gottlob, Christoph Koch
IPPS
2008
IEEE
16 years 1 months ago
Lattice Boltzmann simulation optimization on leading multicore platforms
We present an auto-tuning approach to optimize application performance on emerging multicore architectures. The methodology extends the idea of searchbased performance optimizatio...
Samuel Williams, Jonathan Carter, Leonid Oliker, J...
BIOSYSTEMS
2007
95views more  BIOSYSTEMS 2007»
15 years 7 months ago
Physical limits of computation and emergence of life
The computational process is based on the activity linking mathematical equations to a materialized physical world. It consumes energy which lower limit is defined by the set of ...
Abir U. Igamberdiev
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 7 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau