933 search results - page 112 / 187 » A Fully Automatic hp-Adaptivity |
114
click to vote
TPHOL
2003
IEEE
15 years 5 months 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...
122
click to vote
SAC
2008
ACM
15 years 1 days 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...
161
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We present a region-based active contour detection algorithm
for objects that exhibit relatively homogeneous photometric
characteristics (e.g. smooth color or gray levels),
embe...
101
click to vote
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ICCV
2009
IEEE
16 years 5 months ago
2009
IEEE
We propose a novel approach to unsupervised facial image
alignment. Differently from previous approaches, that
are confined to affine transformations on either the entire
face o...