Sciweavers

9316 search results - page 370 / 1864
» Analysis of traceback techniques
Sort
View
IAT
2007
IEEE
16 years 1 months ago
Tag Meaning Disambiguation through Analysis of Tripartite Structure of Folksonomies
Collaborative tagging systems are becoming very popular recently. Web users use freely-chosen tags to describe shared resources, resulting in a folksonomy. One problem of folksono...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...
IPPS
2007
IEEE
16 years 1 months ago
Annotation Integration and Trade-off Analysis for Multimedia Applications
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...
Radu Cornea, Alex Nicolau, Nikil Dutt
LOPSTR
2007
Springer
16 years 29 days ago
Termination Analysis of Logic Programs Based on Dependency Graphs
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
Manh Thang Nguyen, Jürgen Giesl, Peter Schnei...
VMCAI
2007
Springer
16 years 28 days ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
CBMS
2006
IEEE
16 years 27 days ago
A Method for Fetal Heart Rate Extraction Based on Time-Frequency Analysis
A three-stage method for fetal heart rate extraction, from abdominal ECG recordings, is proposed. In the first stage the maternal R-peaks and fiducial points (QRS onset and offset...
E. C. Karvounis, Markos G. Tsipouras, Dimitrios I....