3233 search results - page 535 / 647 » Rule Modeling and Markup |
132
Voted
CORR
2007
Springer
15 years 4 months ago
2007
Springer
— This paper introduces an expectation-maximization (EM) algorithm within a wavelet domain Bayesian framework for semi-blind channel estimation of multiband OFDM based UWB commun...
149
Voted
DM
2007
15 years 4 months ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...
145
click to vote
ENTCS
2007
15 years 4 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
150
click to vote
FUIN
2007
15 years 4 months ago
2007
Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively few efforts ...
133
click to vote
TCS
2008
15 years 4 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...