1723 search results - page 211 / 345 » Generalized file system dependencies |
170
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
187
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Given the increasing dependence of our societies on networked information systems, the overall security of these systems should be measured and improved. Existing security metrics...
177
click to vote
CPAIOR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
186
click to vote
AAAI
1994
15 years 7 months ago
1994
We have implemented an incremental lexical acquisition mechanism that learns the meanings of previously unknown words from the context in which they appear, as a part of the proce...
168
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...