5012 search results - page 144 / 1003 » Distributed Error Correction |
152
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
We introduce an interactive, portable, and inexpensive solution for estimating refractive errors in the human eye. While expensive optical devices for automatic estimation of refr...
137
click to vote
FORTE
2004
15 years 6 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
174
click to vote
CVPR
2009
IEEE
17 years 4 days ago
2009
IEEE
Stereo matching commonly requires rectified images that
are computed from calibrated cameras. Since all under-
lying parametric camera models are only approximations,
calibratio...
144
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard t...
158
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...