3719 search results - page 202 / 744 » order 2010 |
148
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
134
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
In this paper we consider the problem of testing whether two finite groups are isomorphic. Whereas the case where both groups are abelian is well understood and can be solved effi...
142
click to vote
CVPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Feature-based methods have found increasing use in many applications such as object recognition, 3D reconstruction and mosaicing. In this paper, we focus on the problem of matchin...
135
click to vote
FUN
2010
Springer
15 years 9 months ago
2010
Springer
The Christmas gift exchange is a popular party game played around Christmas. Each participant brings a Christmas present to the party, and a random ordering of the participants, ac...
163
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
Several techniques have been proposed so far in order to perform faint compact source detection in wide field interferometric radio images. However, all these methods can easily mi...