10988 search results - page 1932 / 2198 » Algorithmic Folding Complexity |
148
click to vote
DLT
2006
15 years 5 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
114
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
128
click to vote
APBC
2003
15 years 5 months ago
2003
Databases contain a large amount of data about metabolic pathways, in particular about similar pathways in different species. Biologists are familiar with visual representations ...
150
click to vote
DOA
2001
15 years 5 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
122
click to vote
EFDBS
2001
15 years 5 months ago
2001
New applications from the areas of analytical data processing and data integration require powerful features to condense and reconcile available data. Object-relational and other d...