780 search results - page 29 / 156 » Compositional Quantitative Reasoning |
159
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
Abstract. Automated verification of multi-threaded programs is difficult. Direct treatment of all possible thread interleavings by reasoning about the program globally is a prohib...
109
Voted
CAGD
2005
15 years 2 months ago
2005
The paper iterates on the observation made independently by several groups of authors that building subdivision schemes out of simple, very local and geometrically invariant avera...
104
Voted
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
122
Voted
IPPS
2002
IEEE
15 years 7 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
117
click to vote
DLOG
1998
15 years 3 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...