Sciweavers

215 search results - page 42 / 43
» Pattern Matching in Order-Sorted Languages
Sort
View
CCS
1999
ACM
15 years 1 months ago
A High-Performance Network Intrusion Detection System
In this paper we present a new approach for network intrusion detection based on concise specifications that characterize normal and abnormal network packet sequences. Our speciļ...
R. Sekar, Y. Guang, S. Verma, T. Shanbhag
95
Voted
EDBT
2008
ACM
206views Database» more  EDBT 2008»
15 years 9 months ago
Designing an inductive data stream management system: the stream mill experience
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
Hetal Thakkar, Barzan Mozafari, Carlo Zaniolo
BMCBI
2008
147views more  BMCBI 2008»
14 years 9 months ago
Assessment of disease named entity recognition on a corpus of annotated sentences
Background: In recent years, the recognition of semantic types from the biomedical scientific literature has been focused on named entities like protein and gene names (PGNs) and ...
Antonio Jimeno-Yepes, Ernesto Jiménez-Ruiz,...
WWW
2003
ACM
15 years 10 months ago
Ontology-Based Image Retrieval
The binary form of an image does not tell what the image is about. It is possible to retrieve images from a database using pattern matching techniques, but usually textual descript...
Avril Styrman, Eero Hyvönen, Kim Viljanen, Sa...
ASM
2010
ASM
15 years 4 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...