3318 search results - page 577 / 664 » The Weak Instance Model |
AAAI
2007
14 years 20 days ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
AVI
2008
14 years 20 days ago
2008
We have developed a novel information storage and display structure called EulerView, which can be used for the systematic management of tagged resources. The storage model is a n...
LISA
2007
14 years 19 days ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
ABIALS
2008
Springer
14 years 10 days ago
2008
Springer
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
ATVA
2008
Springer
14 years 10 days ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...