439 search results - page 39 / 88 » Type invariants for Haskell |
CVPR
1996
IEEE
14 years 9 months ago
1996
IEEE
This paper addresses the problem of recognizing objects in large image databases. The method is based on local characteristics which are invariant to simzlarity transformations in...
ISMDA
2004
Springer
14 years 1 months ago
2004
Springer
Thermal medical imaging provides a valuable method for detecting various diseases such as breast cancer or Raynaud’s syndrome. While previous efforts on the automated processing...
ISMIS
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
FASE
2000
Springer
13 years 11 months ago
2000
Springer
A proof system is presented for the verification and derivation of object oriented programs with as main features strong typing, dynamic binding, and inheritance. The proof system...
ECOOP
2008
Springer
13 years 8 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...