5687 search results - page 974 / 1138 » Visualizing Evaluation in Scheme |
TACS
1994
Springer
14 years 1 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...
AFRIGRAPH
2009
ACM
14 years 1 months ago
2009
ACM
Traditionally, levels of detail (LOD) for animated characters are computed from a single pose. Later techniques refined this approach by considering a set of sample poses and eval...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) is an evolutionary algorithm for continuous vector-valued optimization. It combines indicator-based...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
Dynamic binary translation (DBT) has been used to achieve numerous goals (e.g., better performance) for general-purpose computers. Recently, DBT has also attracted attention for e...
CONEXT
2007
ACM
14 years 1 months ago
2007
ACM
In mobile ad-hoc networks, the multicast paradigm is of central importance. It can help to save scarce medium bandwidth if packets are to be delivered to multiple destinations. We...