748 search results - page 47 / 150 » Automatic Presentations and Semigroup Constructions |
3DPVT
2002
IEEE
14 years 20 days ago
2002
IEEE
An algorithm for the automatic construction of a 3d model of archaeological vessels using two different 3d algorithms is presented. In archeology the determination of the exact vo...
ICPR
2002
IEEE
14 years 19 days ago
2002
IEEE
An algorithm for the automatic construction of a 3d model of archaeological vessels using two different 3d algorithms is presented. In archeology the determination of the exact vo...
IGPL
2007
13 years 7 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
KDD
2000
ACM
13 years 11 months ago
2000
ACM
Decision trees have been successfully used for the task of classification. However, state-of-the-art algorithms do not incorporate the user in the tree construction process. This ...