740 search results - page 85 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
118
click to vote
INTERACT
2003
15 years 2 months ago
2003
: Keeping in touch with family and friends should be easier now that we have a repertoire of communication tools available to us (e.g. SMS, IM, email, mobile and landline phones). ...
138
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
124
click to vote
CAV
1998
Springer
15 years 5 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
104
click to vote
NIPS
2007
15 years 2 months ago
2007
We present an algorithm called Optimistic Linear Programming (OLP) for learning to optimize average reward in an irreducible but otherwise unknown Markov decision process (MDP). O...
104
click to vote
EWSA
2006
Springer
15 years 5 months ago
2006
Springer
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...