900 search results - page 114 / 180 » A Tool-Supported Approach to Testing UML Design Models |
137
Voted
VC
2010
15 years 3 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...
144
click to vote
ICDAR
2003
IEEE
15 years 10 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 ...
181
click to vote
KDD
2008
ACM
16 years 6 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...
145
click to vote
ASPDAC
2006
ACM
15 years 9 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...
143
click to vote
SIGSOFT
2004
ACM
15 years 11 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...