9444 search results - page 1458 / 1889 » The Language Model LMNtal |
177
click to vote
ISSADS
2005
Springer
16 years 12 days ago
2005
Springer
An intrusion detection system (IDS) usually has to analyse Giga-bytes of audit information. In the case of anomaly IDS, the information is used to build a user profile characteris...
171
click to vote
VLDB
2005
ACM
16 years 11 days ago
2005
ACM
Popular XML languages, like XPath, use “treepattern” queries to select nodes based on their structural characteristics. While many processing methods have already been propose...
178
click to vote
CP
2004
Springer
16 years 8 days ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
198
click to vote
NMR
2004
Springer
16 years 7 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
214
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...