1021 search results - page 41 / 205 » Pure Subtype Systems |
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
A growing body of literature in networked systems research relies on game theory and mechanism design to model and address the potential lack of cooperation between self-intereste...
AUTOMATICA
1999
13 years 7 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
APN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...