1073 search results - page 62 / 215 » Reasoning about Continuous Processes |
129
click to vote
SFP
2004
15 years 3 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
117
click to vote
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...
125
click to vote
ICCV
2011
IEEE
14 years 2 months ago
2011
IEEE
Point trajectories have emerged as a powerful means to obtain high quality and fully unsupervised segmentation of objects in video shots. They can exploit the long term motion dif...
113
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
It is often the case that agents within a system have distinct types of knowledge. Furthermore, whilst common goals may be agreed upon, the particular representations of the indiv...
157
click to vote
CSFW
2003
IEEE
15 years 7 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...