487 search results - page 80 / 98 » A Compiled Implementation of Normalization by Evaluation |
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
DOLAP
2000
ACM
15 years 4 months ago
2000
ACM
Analyzing data obtained from web server logs, so-called “clickstreams”, is rapidly becoming one of the most important activities for companies in any sector as most businesses...
110
Voted
3DIM
2001
IEEE
15 years 3 months ago
2001
IEEE
The ICP (Iterative Closest Point) algorithm is widely used for geometric alignment of three-dimensional models when an initial estimate of the relative pose is known. Many variant...
CGF
2008
14 years 11 months ago
2008
This paper introduces a framebuffer level of detail algorithm for controlling the pixel workload in an interactive rendering application. Our basic strategy is to evaluate the sha...
169
click to vote
ICLP
2009
Springer
16 years 7 days ago
2009
Springer
The SLG-WAM of XSB Prolog soundly implements the Well-Founded Semantics (WFS) for logic programs, but in a few pathological cases its engine treats atoms as undefined that are true...