Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,964,116 papers from all fields of science
Search
Sign In
Create Free Account
Symbol (formal)
Known as:
Symbol (logic)
, Logical symbol
, Symbol (disambiguation)
Expand
A logical symbol is a fundamental concept in logic, tokens of which may be marks or a configuration of marks which form a particular pattern…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
29 relations
Automata theory
Chomsky hierarchy
Cognitive dimensions of notations
Data system
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Ontology-based simulation in agricultural systems modeling
H. Beck
,
K. Morgan
,
Yunchul Jung
,
S. Grunwald
,
H. Kwon
,
Jin Wu
2010
Corpus ID: 9515896
2007
2007
Capture Database through Symbolization, Recognition and Generation of Motion Patterns
W. Takano
,
K. Yamane
,
Yoshihiko Nakamura
Proceedings IEEE International Conference on…
2007
Corpus ID: 936963
Motion capture systems are used to obtain motion data such that humanoid robots or computer graphics (CG) characters can behave…
Expand
Highly Cited
2006
Highly Cited
2006
Blind channel estimation in MIMO OFDM systems with multiuser interference
S. Yatawatta
,
A. Petropulu
IEEE Transactions on Signal Processing
2006
Corpus ID: 14916761
This paper proposes a blind channel estimation method in the context of a multiuser orthogonal-frequency-domain-multiplexing…
Expand
Review
2002
Review
2002
Compression and its metrics for multimedia
W. Kinsner
Proceedings First IEEE International Conference…
2002
Corpus ID: 206573905
Multimedia involves a myriad of data and multidimensional signals, including not only plain and formatted text, but also…
Expand
2001
2001
Solving connection and linearization problems within the Askey scheme and its q-analogue via inversion formulas
I. Areaa
,
E. Godoya
,
A. Ronveauxb
,
A. Zarzoc
2001
Corpus ID: 14697769
For the polynomial families {Pn(x)}n belonging to the Askey scheme or to its q-analogue, the hypergeometric representation…
Expand
2001
2001
CIRCUITS OF COMMERCE 1
V. Zelizer
2001
Corpus ID: 167431785
Highly Cited
1998
Highly Cited
1998
Identification and production of graphic symbols by individuals with aphasia: efficacy of a software application
R. Koul
,
Robyn Harding
1998
Corpus ID: 62329907
The purpose of the current study was to evaluate the ability of individuals with severe or global aphasia to identify and produce…
Expand
1997
1997
The First-Order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable
S. Vorobyov
International Conference on Rewriting Techniques…
1997
Corpus ID: 7892043
We construct a finite linear finitely terminating rewrite rule system with undecidable theory of one step rewriting.
1982
1982
Dialogue Cells: A Method for Defining Interactions
Borufka
,
Kuhlmann
,
ten Hagen
IEEE Computer Graphics and Applications
1982
Corpus ID: 16817890
How Should One Approach the Design of an Interactive Interface? This Method Provides Both a Basic Approach and Some Powerful New…
Expand
1976
1976
Automatic detection and description of syllabic features in continuous speech
R. Mori
,
P. Laface
,
Elio Piccolo
1976
Corpus ID: 61286468
The details of the implementation of a syntax-controlled acoustic encoder of a speech understanding system (SUS) are presented…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE