3495 search results - page 264 / 699 » On the random satisfiable process |
169
click to vote
AAAI
1997
15 years 8 months ago
1997
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
191
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
191
click to vote
IEEESP
2008
15 years 7 months ago
2008
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
184
click to vote
KI
2006
Springer
15 years 7 months ago
2006
Springer
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constr...
190
click to vote
IR
2007
15 years 7 months ago
2007
Traditional information retrieval systems aim at satisfying most users for most of their searches, leaving aside the context in which the search takes place. We propose to model tw...