933 search results - page 69 / 187 » Fully automatic cross-associations |
182
click to vote
3DIM
2003
IEEE
16 years 3 days ago
2003
IEEE
Due to their general and robust formulation deformable models offer a very appealing approach to 3D image segmentation. However there is a trade-off between model genericity, mode...
179
click to vote
TPHOL
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
169
click to vote
MEDINFO
2007
15 years 8 months ago
2007
The nature of the internet as a non-peer-reviewed (and more generally largely unregulated) publication medium has allowed wide-spread promotion of inaccurate and unproven medical ...
168
click to vote
AAAI
1993
15 years 8 months ago
1993
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
198
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...