Sciweavers

4743 search results - page 428 / 949
» Introduction to Functional Programming
Sort
View
CGF
2005
147views more  CGF 2005»
15 years 6 months ago
GPU Simulation and Rendering of Volumetric Effects for Computer Games and Virtual Environments
As simulation and rendering capabilities continue to increase, volumetric effects like smoke, fire or explosions will be frequently encountered in computer games and virtual envir...
Jens Krüger, Rüdiger Westermann
EOR
2002
87views more  EOR 2002»
15 years 6 months ago
On the finite convergence of successive SDP relaxation methods
Let F be a subset of the n-dimensional Euclidean space Rn represented in terms of a compact convex subset C0 and a set PF of nitely or in nitely many quadratic functions on Rn such...
Masakazu Kojima, Levent Tunçel
TCSB
2010
15 years 5 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
ICES
2010
Springer
148views Hardware» more  ICES 2010»
15 years 4 months ago
An Efficient Selection Strategy for Digital Circuit Evolution
In this paper, we propose a new modification of Cartesian Genetic Programming (CGP) that enables to optimize digital circuits more significantly than standard CGP. We argue that co...
Zbysek Gajda, Lukás Sekanina
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Linear Dependent Types and Relative Completeness
—A system of linear dependent types for the lambda calculus with full higher-order recursion, called d PCF, is introduced and proved sound and relatively complete. Completeness h...
Ugo Dal Lago, Marco Gaboardi