118
Voted
ACMACE
2009
ACM
15 years 7 months ago
2009
ACM
118
Voted
ACMACE
2009
ACM
15 years 7 months ago
2009
ACM
163
Voted
AMDO
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we present a novel, fast, resolution-independent silhouette area-based matching approach. We approximate the silhouette area by a small set of axis-aligned...
183
Voted
AISC
2010
Springer
15 years 7 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
185
Voted
AISC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Building a repository of proof-checked mathematical knowledge is without any doubt a lot of work, and besides the actual formalization process there is also the task of m...