Sciweavers

16616 search results - page 313 / 3324
» Extending Extended Vacuity
Sort
View
COMSIS
2010
15 years 4 months ago
Annotation based parser generator
Abstract--The paper presents innovative parser construction method and parser generator prototype which generates a computer language parser from a set of annotated classes in cont...
Jaroslav Porubän, Michal Forgac, Miroslav Sab...
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 4 months ago
Communicating Under Channel Uncertainty
For a single transmit and receive antenna system, a new constellation design is proposed to combat errors in the phase estimate of the channel coefficient. The proposed constellati...
Naqueeb Warsi, Rahul Vaze, Tapan Shah
CORR
2010
Springer
197views Education» more  CORR 2010»
15 years 4 months ago
Quantum Strategic Game Theory
We propose a simple yet rich model to extend the notions of Nash equilibria and correlated equilibria of strategic games to the quantum setting, in which we then study the relatio...
Shengyu Zhang
ECEASST
2010
15 years 4 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump
FUIN
2010
163views more  FUIN 2010»
15 years 4 months ago
Equational Reasoning on Mobile Ad Hoc Networks
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar