Sciweavers

3384 search results - page 74 / 677
» More Testable Properties
Sort
View
ICDAR
2003
IEEE
14 years 2 months ago
Directional Pattern Matching for Character Recognition Revisited
Directional features have been successfully used for the recognition of both machine-printed and handwritten Kanji characters for the last decade. This paper attempts to explain w...
Hiromichi Fujisawa, Cheng-Lin Liu
IFIP
2009
Springer
14 years 1 months ago
An Algebra for Trust Dilution and Trust Fusion
Trust dilution and trust fusion are two operators that are used to calculate transitive trust in a trust network. Various implementations of these operators already exist but are n...
Baptiste Alcalde, Sjouke Mauw
DEXAW
1999
IEEE
98views Database» more  DEXAW 1999»
14 years 1 months ago
Shaping the Research Agenda for Security in E-Commerce
In this paper, we overview the current state-of-the-art and future trends in network security and argue that the security requirements of electronic commerce (e-commerce) applicat...
Rolf Oppliger
DSVIS
1998
Springer
14 years 1 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison
ICALP
1992
Springer
14 years 25 days ago
On Nearest-Neighbor Graphs
The "nearest neighbor" relation, or more generally the "k nearest neighbors" relation, defined for a set of points in a metric space, has found many uses in co...
Mike Paterson, F. Frances Yao