691 search results - page 75 / 139 » Automatically Proving Linearizability |
SPIESR
2003
13 years 11 months ago
2003
Video contains multiple types of audio and visual information, which are difficult to extract, combine or trade-off in general video information retrieval. This paper provides an ...
ANLP
1997
13 years 11 months ago
1997
We describe and experimentally evaluate an efficient method for automatically determining small clause boundaries in spontaneous speech. Our method applies an artificial neural ne...
FSKD
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a scheme for unsupervised classification with Gaussian mixture models by means of statistical learning analysis. A Bayesian Ying-Yang harmony learning system a...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
ENTCS
2008
13 years 10 months ago
2008
The better known methods of semantic tableaux for deciding satisfiability in propositional linear temporal logic generate graphs in addition to classical trees. The test of satisf...