851 search results - page 92 / 171 » History Effects and Verification |
114
click to vote
ICFP
2006
ACM
16 years 1 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
122
click to vote
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
This communication presents an effective method for writer recognition in handwritten documents. We have introduced a set of features that are extracted from the contours of handw...
ACG
2009
Springer
15 years 8 months ago
2009
Springer
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
KCAP
2009
ACM
15 years 8 months ago
2009
ACM
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
123
click to vote
ISCAS
2005
IEEE
15 years 7 months ago
2005
IEEE
—The pervasive distribution of digital images triggers an emergent need of authenticating degraded images by lossy compression and transmission. This paper proposes a robust cont...