Sciweavers

910 search results - page 81 / 182
» Detecting False Matches in String Matching Algorithms
Sort
View
PEPM
1993
ACM
15 years 7 months ago
Tutorial on Specialisation of Logic Programs
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
John P. Gallagher
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 2 months ago
Detecting influenza outbreaks by analyzing Twitter messages
We analyze over 500 million Twitter messages from an eight month period and find that tracking a small number of flu-related keywords allows us to forecast future influenza rates ...
Aron Culotta
PLDI
2009
ACM
16 years 3 months ago
A decision procedure for subset constraints over regular languages
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
Pieter Hooimeijer, Westley Weimer
ICMCS
2008
IEEE
330views Multimedia» more  ICMCS 2008»
15 years 9 months ago
Automatic trademark detection and recognition in sport videos
In this paper we describe a system for automatic detection and recognition of trademarks in sports videos. We propose a compact representation of trademarks based on SIFT feature ...
Lamberto Ballan, Marco Bertini, Alberto Del Bimbo,...
SP
2008
IEEE
112views Security Privacy» more  SP 2008»
15 years 9 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