4224 search results - page 284 / 845 » Reasoning about Choice |
152
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
181
click to vote
MPC
2000
Springer
15 years 11 months ago
2000
Springer
It is possible, but difficult, to reason in Hoare logic about programs which address and modify data structures defined by pointers. The challenge is to approach the simplicity of ...
170
click to vote
SEKE
1995
Springer
15 years 11 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
188
click to vote
RTA
1987
Springer
15 years 11 months ago
1987
Springer
We present completion methods for rewriting modulo a congruence, generalizing previous methods by Peterson and Stickel (1981) and Jouannaud and Kirchner (1986). We formalize our me...
174
click to vote
BMVC
2002
15 years 9 months ago
2002
This paper investigates the combination of spatial and probabilistic models for reasoning about pedestrian behaviour in visual surveillance systems. Models are learnt by a multi-s...