251 search results - page 15 / 51 » Automated Complexity Analysis Based on the Dependency Pair M... |
SAS
1999
Springer
15 years 1 months ago
1999
Springer
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
81
Voted
DAS
2010
Springer
14 years 9 months ago
2010
Springer
In this paper, we propose a method based on the skeletonization operation for multi-oriented video text detection. The first step uses our existing Laplacian-based method to ident...
CLEF
2011
Springer
13 years 9 months ago
2011
Springer
This papers surveys different approaches to evaluation of web search summaries and describes experiments conducted at Yandex. We hypothesize that the complex task of snippet evalua...
SCALESPACE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The dynamic behavior of the cardiac muscle is strongly dependent on heart diseases. Optic flow techniques are essential tools to assess and quantify the contraction of t...
BMCBI
2008
14 years 9 months ago
2008
Background: Accurate peptide identification is important to high-throughput proteomics analyses that use mass spectrometry. Search programs compare fragmentation spectra (MS/MS) o...