1828 search results - page 41 / 366 » First-Class Type Classes |
ESWA
2008
14 years 12 months ago
2008
This paper presents research results of our investigation of the imbalanced data problem in the classification of different types of weld flaws, a multi-class classification probl...
ARCS
2005
Springer
15 years 5 months ago
2005
Springer
In this contribution we present a novel general model for adaptive processors with organic features. We describe its basic principle of operation. The adaptive operations that are ...
ENTCS
2008
14 years 12 months ago
2008
In the context of Dolev-Yao style analysis of security protocols, we consider the capability of an intruder to dynamically choose and assign names to agents. This capability has b...
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Recent work in object localization has shown that the use of contextual cues can greatly improve accuracy over models that use appearance features alone. Although many of these mo...
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...