6 search results - page 1 / 2 » A Cancellation Theorem for BCCSP |
FUIN
2008
13 years 5 months ago
2008
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
DFT
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...
AI
2007
Springer
13 years 5 months ago
2007
Springer
The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intel...