1532 search results - page 206 / 307 » An Algebraic Process Calculus |
144
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
169
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
147
click to vote
IJCAI
2001
15 years 6 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
139
Voted
IJCAI
2001
15 years 6 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
152
Voted
ACL
1997
15 years 6 months ago
1997
Recent work has seen the emergence of a common framework for parsing categorial grammar (CG) formalisms that fall within the 'type-logical' tradition (such as the Lambek...