13591 search results - page 58 / 2719 » On the Implementation of Dynamic Evaluation |
128
click to vote
COMPGEOM
1998
ACM
15 years 8 months ago
1998
ACM
We discuss floating-point filters as a means of restricting the precision needed for arithmetic operations while still computing the exact result. We show that interval techniques...
117
click to vote
CBMS
2004
IEEE
15 years 8 months ago
2004
IEEE
The osteophyte shows only on some particular locations on the vertebra. This indicates that other locations on the vertebra shape contain that are not of interest hinder the spine...
188
click to vote
CC
2008
Springer
15 years 6 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
124
click to vote
ICAD
2004
15 years 5 months ago
2004
Sonifications must be studied in order to match listener expectancies about data representation in the form of sound. In this study, a system was designed and implemented for dyna...
116
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...