Sciweavers

3001 search results - page 386 / 601
» Recursive type generativity
Sort
View
ECOOP
2006
Springer
15 years 10 months ago
A Semantic Analysis of C++ Templates
Templates are a powerful but poorly understood feature of the C++ language. Their syntax resembles the parameterized classes of other languages (e.g., of Java). But because C++ sup...
Jeremy G. Siek, Walid Taha
GECCO
2006
Springer
119views Optimization» more  GECCO 2006»
15 years 10 months ago
Mixed-integer optimization of coronary vessel image analysis using evolution strategies
In this paper we compare Mixed-Integer Evolution Strategies (MI-ES) and standard Evolution Strategies (ES) when applied to find optimal solutions for artificial test problems and ...
Rui Li, Michael Emmerich, Jeroen Eggermont, Ernst ...
ACSD
2001
IEEE
91views Hardware» more  ACSD 2001»
15 years 10 months ago
Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems
We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two di erent types of non-interleaving semantics of such Petri nets, the a-po...
Marta Pietkiewicz-Koutny
SIGGRAPH
1998
ACM
15 years 10 months ago
Interactive Reflections on Curved Objects
Global view-dependent illumination phenomena, in particular reflections, greatly enhance the realism of computer-generated imagery. Current interactive rendering methods do not pr...
Eyal Ofek, Ari Rappoport
ATAL
2008
Springer
15 years 8 months ago
The intensity of perceived emotions in 3D virtual humans
Synthetically generated 3D humans often fail to express a full range of emotions or present different levels of the same type of emotion. Transcending the facial expression, what ...
Ahmad S. Shaarani, Daniela M. Romano