1575 search results - page 138 / 315 » The provenance of electronic data |
110
click to vote
ICIP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes an hybrid approach to estimate the 3D pose of an object. The integration of texture information based on image intensities in a more classical non-linear edge-...
217
click to vote
ICFP
2009
ACM
16 years 15 days ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
164
click to vote
POPL
2002
ACM
16 years 5 days ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
ESSOS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
FGR
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper, we investigate the mutual-complementary functionality of accelerometer (ACC) and electromyogram (EMG) for recognizing seven word-level sign vocabularies in German S...