369 search results - page 5 / 74 » Symbolic Semantics Revisited |
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
The problem of data semantics is establishing and maintaining the correspondence between a data source and its intended subject matter. We review the long history of the problem in...
121
click to vote
JCM
2008
15 years 1 months ago
2008
In this paper we revisit the minimum mean square error (MMSE) pilot-aided channel estimation for broadband orthogonal frequency division multiplexing (OFDM) systems. The careful de...
111
click to vote
FUIN
2010
14 years 8 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
EMNLP
2004
15 years 2 months ago
2004
Starting from first principles, we re-visit the statistical approach and study two forms of the Bayes decision rule: the common rule for minimizing the number of string errors and...
128
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
—We present a method to eliminate redundancy in the transition tables of Boolean automata: schema redescription with two symbols. One symbol is used to capture redundancy of indi...