Sciweavers

3259 search results - page 425 / 652
» Modeling Autonomous-System Relationships
Sort
View
AAAI
1996
15 years 6 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy
139
Voted
UAI
1994
15 years 6 months ago
A New Look at Causal Independence
Heckerman (1993) defined causal independence in terms of a set of temporal conditional independence statements. These statements formalized certain types of causal interaction whe...
David Heckerman, John S. Breese
AAAI
1992
15 years 6 months ago
Concurrent Actions in the Situation Calculus
We propose a representation of concurrent actions; rather than invent a new formalism, we model them within the standard situation calculus by introducing the notions of global ac...
Fangzhen Lin, Yoav Shoham
ASWC
2009
Springer
15 years 6 months ago
Semantic Rules on Drug Discovery Data
Aggregating and presenting a wide variety of information pertinent to the biological and pharmacological effects of chemical compounds will be a critical part of 21st century drug ...
Sashikiran Challa, David J. Wild, Ying Ding, Qian ...
DBSEC
2008
152views Database» more  DBSEC 2008»
15 years 6 months ago
An Attack Graph-Based Probabilistic Security Metric
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
Lingyu Wang, Tania Islam, Tao Long, Anoop Singhal,...