Sciweavers

13591 search results - page 139 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
ICASSP
2010
IEEE
15 years 6 months ago
Implementing LNS using filtering units of GPUs
Current GPUs offer specialized graphics hardware in addition to generic floating-point processing units. We propose a method which reuses specialized texture filtering units to ...
Mark G. Arnold, Sylvain Collange, David Defour
INLG
2010
Springer
15 years 4 months ago
Towards an Extrinsic Evaluation of Referring Expressions in Situated Dialogs
In the field of referring expression generation, while in the static domain both intrinsic and extrinsic evaluations have been considered, extrinsic evaluation in the dynamic doma...
Philipp Spanger, Ryu Iida, Takenobu Tokunaga, Asuk...
PEPM
1994
ACM
15 years 10 months ago
The Essence of Eta-Expansion in Partial Evaluation
Abstract. Selective eta-expansion is a powerful "binding-time improvement", i.e., a sourceprogram modification that makes a partial evaluator yield better results. But li...
Olivier Danvy, Karoline Malmkjær, Jens Palsb...
CEC
2008
IEEE
16 years 1 months ago
Methods for decreasing the number of objective evaluations for independent computationally expensive objective problems
— In this paper, three new methods for pushing solutions toward a desired region of the objective space more quickly are explored; hypercube distance scaling, dynamic objective t...
Greg Rohling
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
16 years 20 days ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...