2152 search results - page 184 / 431 » An Abstract Account of Composition |
138
click to vote
ICIP
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a two-stage system for the recognition of postage meter values. A feed-forward Neural Abstraction Pyramid is initialized in an unsupervised manner and trained...
168
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
147
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In a Connected Society, the importance of database privacy and security increases considerably. Security must be considered as a fundamental requirement in Information Sy...
147
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
157
click to vote
ICWE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The massive amount of textual data on the Web raises numerous classification problems. Although the notion of domain is widely acknowledged in the IR field, the applica...