3273 search results - page 91 / 655 » types 2007 |
162
Voted
HASKELL
2007
ACM
15 years 8 months ago
2007
ACM
The use of typed intermediate languages can significantly increase the reliability of a compiler. By type-checking the code produced at each transformation stage, one can identify...
108
Voted
MVA
1994
15 years 5 months ago
1994
A hybrid (statistical/structural)approach is presented, for scale- and orientation-invariant recognition of multi-component cartographic symbols. A decision-tree classifier (DTC) ...
DAGSTUHL
2006
15 years 5 months ago
2006
This report discusses terminology choices and considerations relating to copied or redundant code within software systems, i.e., relating to "code clones." Inadequacies o...
127
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
121
Voted
ACL
1994
15 years 5 months ago
1994
1 We examine the consistency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in...