133 search results - page 13 / 27 » Proving Properties for Behavioural Specifications with Term ... |
ATAL
2005
Springer
14 years 4 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
HYBRID
1997
Springer
14 years 2 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
PE
2002
Springer
13 years 10 months ago
2002
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
ICIP
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper presents novel algorithms that perform motion estimation for video processing and compression. We observe that "smoothness" is a very important and intuitive ...