366 search results - page 18 / 74 » Model-checking higher-order functions |
VLSID
2006
IEEE
16 years 5 days ago
2006
IEEE
In the multi-GHz frequency domain, inductive and capacitive parasitics of interconnects can cause significant 'ringing' or overdamping, which may lead to false switching...
AUSDM
2007
Springer
15 years 6 months ago
2007
Springer
The detection of unusual or anomalous data is an important function in automated data analysis or data mining. However, the diversity of anomaly detection algorithms shows that it...
110
click to vote
ICIP
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper, we propose a novel technique to represent and recover optical flow through free form deformations. Such a technique is based on representing the motion field usin...
114
click to vote
TPHOL
1998
IEEE
15 years 4 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
181
click to vote
POPL
2009
ACM
16 years 13 days ago
2009
ACM
Previous deforestation and supercompilation algorithms may introduce accidental termination when applied to call-by-value programs. This hides looping bugs from the programmer, an...