3446 search results - page 581 / 690 » A Reasoning Algorithm for pD* |
107
click to vote
IWSEC
2010
Springer
15 years 5 hour ago
2010
Springer
Abstract. Attack tree analysis is used to estimate different parameters of general security threats based on information available for atomic subthreats. We focus on estimating the...
JAIR
2010
15 years 4 hour ago
2010
We present a novel framework for learning to interpret and generate language using only perceptual context as supervision. We demonstrate its capabilities by developing a system t...
113
click to vote
MATES
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. In this paper we focus on explaining to humans the behavior of autonomous agents, i.e., explainable agents. Explainable agents are useful for many reasons including scena...
107
click to vote
SAS
2010
Springer
14 years 12 months ago
2010
Springer
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
129
Voted
SCP
2010
14 years 12 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...