Sciweavers

9176 search results - page 351 / 1836
» algorithms 2010
Sort
View
GIS
2010
ACM
15 years 5 months ago
Extracting moving regions from spatial data
We provide an algorithm that can construct a valid moving region from snapshots of a region in time. Our algorithm is robust in the sense that given valid input regions, the gener...
Mark McKenney, James Webb
ACSD
2010
IEEE
261views Hardware» more  ACSD 2010»
15 years 4 months ago
Partial Order Reduction for Branching Security Protocols
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...
Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs
DSP
2006
15 years 6 months ago
Detection of audio covert channels using statistical footprints of hidden messages
We address the problem of detecting the presence of hidden messages in audio. The detector is based on the characteristics of the denoised residuals of the audio file, which may c...
Hamza Özer, Bülent Sankur, Nasir D. Memo...
LREC
2010
189views Education» more  LREC 2010»
15 years 8 months ago
Automatic Summarization Using Terminological and Semantic Resources
In this paper we present a new algorithm for automatic summarization of specialized texts combining terminological and semantic resources: a term extractor and an ontology. The te...
Jorge Vivaldi, Iria da Cunha, Juan Manuel Torres M...
IJPRAI
2010
109views more  IJPRAI 2010»
15 years 3 months ago
Disguised Discrimination of Locality-Based Unsupervised Dimensionality Reduction
: Many locality-based unsupervised dimensionality reduction (DR) algorithms have recently been proposed and demonstrated to be effective to a certain degree in some classification ...
Bo Yang, Songcan Chen