3457 search results - page 5 / 692 » A Symbol Is Not a Symbol |
BSL
1999
13 years 7 months ago
1999
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
ICST
2010
IEEE
13 years 6 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
symbol systems and the world. In the case of problem frames the symbol systems are abstractions of the problems that an IS will solve rather than sentences, and the world is the pr...
IDA
2006
Springer
13 years 7 months ago
2006
Springer
Symbolic data analysis aims at generalizing some standard statistical data mining methods, such as those developed for classification tasks, to the case of symbolic objects (SOs). ...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, we propose an iterative joint DA/DD channel estimation algorithm for known symbol padding (KSP) OFDM. The pilot symbols used to estimate the channel are not only ...