2223 search results - page 146 / 445 » Multimedia structuring using trees |
125
Voted
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
86
Voted
APBC
2004
15 years 2 months ago
2004
This article describes a dispensation order generation algorithm for genotyping using the Pyrosequencing method. The input template of the algorithm is a slightly restricted regul...
99
Voted
ACL
1998
15 years 2 months ago
1998
In this paper we discuss the use of discourse context in spoken dialogue systems and argue that the knowledge of the domain, modelled with the help of dialogue topics is important...
76
Voted
JSAT
2008
15 years 22 days ago
2008
The Ternary Tree Solver (tts) is a complete solver for propositional satisfiability which was designed to have good performance on the most difficult small instances. It uses a st...
107
click to vote
PODS
2008
ACM
16 years 27 days ago
2008
ACM
In this study we propose sketching algorithms for computing similarities between hierarchical data. Specifically, we look at data objects that are represented using leaf-labeled t...