19798 search results - page 403 / 3960 » Is Structural Subtyping Useful |
109
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper a handwritten recognition algorithm based on structural characteristics, histograms and profiles, is presented. The well-known horizontal and vertical histograms are...
119
Voted
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
116
Voted
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
131
Voted
CAV
2003
Springer
15 years 9 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
DSOM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...