13591 search results - page 265 / 2719 » On the Implementation of Dynamic Evaluation |
169
Voted
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
159
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
206
Voted
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
This paper addresses the challenge of recognizing dynamic
textures based on their observed visual dynamics.
Typically, the term dynamic texture is used with reference
to image s...
151
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper describes two performance measures for measuring an EMO (Evolutionary Multiobjective Optimization) algorithm’s ability to track a time-varying Paretofront in a dyn...
172
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...