900 search results - page 114 / 180 » A Tool-Supported Approach to Testing UML Design Models |
117
Voted
VC
2010
15 years 2 months ago
2010
Abstract When designing novel algorithms for geometric processing and analysis, researchers often assume that the input conforms to several requirements. On the other hand, polygon...
119
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
152
Voted
KDD
2008
ACM
16 years 4 months ago
2008
ACM
The effectiveness of knowledge transfer using classification algorithms depends on the difference between the distribution that generates the training examples and the one from wh...
123
Voted
ASPDAC
2006
ACM
15 years 7 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
121
Voted
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...