555 search results - page 30 / 111 » Between Symbol and Language-in-use |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— The problem of channel code design for the M-ary input AWGN channel with additive discrete interference where the sequence of i.i.d. interference symbols is known causally at t...
PCM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a new shape descriptor for measuring the similarity between shapes and exploit it in graphical object recognition and retrieval. By statistically integrating t...
ECUMN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
ECML
2000
Springer
14 years 19 hour ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...
CHARME
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...