990 search results - page 133 / 198 » An efficient data structure for network anomaly detection |
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
ISM
2006
IEEE
14 years 2 months ago
2006
IEEE
Currently, most search engines are text-based and their structures are centralized. These kinds of engine are sufficient for searching text information in Internet. However, while...
JMLR
2008
13 years 8 months ago
2008
We consider the problem of learning classifiers in structured domains, where some objects have a subset of features that are inherently absent due to complex relationships between...
AROBOTS
2005
13 years 8 months ago
2005
Autonomous navigation in cross-country environments presents many new challenges with respect to more traditional, urban environments. The lack of highly structured components in t...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Several techniques have been developed for identifying similar code fragments in programs. These similar fragments, referred to as code clones, can be used to identify redundant c...