Sciweavers

715 search results - page 104 / 143
» Second step algorithms in the Burrows-Wheeler compression al...
Sort
View
MM
2009
ACM
220views Multimedia» more  MM 2009»
14 years 8 days ago
Multi-modal scene segmentation using scene transition graphs
In this work the problem of automatic decomposition of video into elementary semantic units, known in the literature as scenes, is addressed. Two multi-modal automatic scene segme...
Panagiotis Sidiropoulos, Vasileios Mezaris, Ioanni...
ASIAN
2006
Springer
116views Algorithms» more  ASIAN 2006»
13 years 11 months ago
Secrecy Analysis in Protocol Composition Logic
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
ECAI
2006
Springer
13 years 11 months ago
A Learning Classifier Approach to Tomography
Tomography is an important technique for noninvasive imaging: images of the interior of an object are computed from several scanned projections of the object, covering a range of a...
Kees Joost Batenburg
STRINGOLOGY
2004
13 years 9 months ago
BDD-Based Analysis of Gapped q-Gram Filters
Recently, there has been a surge of interest in gapped q-gram filters for approximate string matching. Important design parameters for filters are for example the value of q, the f...
Marc Fontaine, Stefan Burkhardt, Juha Kärkk&a...
ICML
2010
IEEE
13 years 7 months ago
Application of Machine Learning To Epileptic Seizure Detection
We present and evaluate a machine learning approach to constructing patient-specific classifiers that detect the onset of an epileptic seizure through analysis of the scalp EEG, a...
Ali H. Shoeb, John V. Guttag