241 search results - page 32 / 49 » Generic Patch Inference |
130
Voted
DISCEX
2003
IEEE
15 years 10 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
167
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
121
click to vote
ICPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Anomaly detection has received much attention within the literature as a means of determining, in an unsupervised manner, whether a learning domain has changed in a fundamental way...
160
click to vote
KBSE
1997
IEEE
15 years 9 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
149
click to vote
DAGSTUHL
2007
15 years 6 months ago
2007
Abstract. This paper makes a foundational contribution to the discussions on the very nature of belief change operations. Belief revision and pdate are investigated within an abstr...