Sciweavers

2142 search results - page 275 / 429
» Representing Time in Multimedia Systems
Sort
View
ATVA
2009
Springer
100views Hardware» more  ATVA 2009»
15 years 11 months ago
Dynamic Observers for the Synthesis of Opaque Systems
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
Franck Cassez, Jérémy Dubreil, Herv&...
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
15 years 11 months ago
XFA: Faster Signature Matching with Extended Automata
Automata-based representations and related algorithms have been applied to address several problems in information security, and often the automata had to be augmented with additi...
Randy Smith, Cristian Estan, Somesh Jha
NETWORKING
2010
15 years 3 months ago
Speculative Validation of Web Objects for Further Reducing the User-Perceived Latency
Web caching techniques reduce user-perceived latency by serving the most popular web objects from an intermediate memory. In order to assure that reused objects are not stale, cond...
Josep Domènech, José A. Gil, Julio S...
KDD
2009
ACM
217views Data Mining» more  KDD 2009»
16 years 5 months ago
Efficient anomaly monitoring over moving object trajectory streams
Lately there exist increasing demands for online abnormality monitoring over trajectory streams, which are obtained from moving object tracking devices. This problem is challengin...
Yingyi Bu, Lei Chen 0002, Ada Wai-Chee Fu, Dawei L...
SIGMOD
2003
ACM
152views Database» more  SIGMOD 2003»
16 years 4 months ago
Using Sets of Feature Vectors for Similarity Search on Voxelized CAD Objects
In modern application domains such as multimedia, molecular biology and medical imaging, similarity search in database systems is becoming an increasingly important task. Especial...
Hans-Peter Kriegel, Stefan Brecheisen, Peer Kr&oum...