440 search results - page 57 / 88 » Comparison of Galled Trees |
PLILP
1993
Springer
14 years 22 days ago
1993
Springer
Many recent proposals for the integration of functional and logic programming use conditional term rewriting systems (CTRS) as programs and narrowing as goal solving mechanism. Thi...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
: Boosting is a general method for improving the accuracy of any given learning algorithm. In this paper we employ combination of Adaboost with Support Vector Machine (SVM) as comp...
COR
2006
13 years 8 months ago
2006
There is an age old debate in curling about whether it is better to be down one point with last shot, or ahead by one point without. The objective of this paper is to apply sensit...
PAMI
2008
13 years 8 months ago
2008
This paper proposes a novel graph matching algorithm and applies it to shape recognition based on object silhouettes. The main idea is to match skeleton graphs by comparing the geo...