3224 search results - page 543 / 645 » Abstract Error Projection |
190
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
162
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
171
click to vote
HIPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
192
click to vote
MCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Investigating a data set of the critical size makes a classification task difficult. Studying dissimilarity data refers to such a problem, since the number of samples equa...
140
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper focuses on the evaluation of an ideal midsagittal plane iMSP extraction algorithm. The algorithm was developed for capturing the iMSP from 3D normal and pathol...