733 search results - page 115 / 147 » Formal Reasoning About Intrusion Detection Systems |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
108
click to vote
FLAIRS
2008
15 years 2 months ago
2008
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
ISCA
1998
IEEE
15 years 4 months ago
1998
IEEE
A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequential consistency. This model guarantees that all memory ac...
116
click to vote
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
103
click to vote
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...