5634 search results - page 210 / 1127 » About Abstract Classes |
100
click to vote
CSL
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We show how to automatically generate analytic hypersequent calculi for a large class of logics containing the linearity axiom (lin) (A ⊃ B) ∨ (B ⊃ A) starting from...
CONCUR
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We give a process calculus model that formalizes a wellknown algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failur...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— Two-level quantum systems are important quantum models that are useful for the conceptual development and construction of quantum technologies. In this paper we provide...
163
click to vote
ACMMPC
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
ICGI
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. The present paper presents a new approach of how to convert Gold-style [4] learning in the limit into stochastically finite learning with high confidence. We illustrate t...