3457 search results - page 214 / 692 » A Symbol Is Not a Symbol |
160
click to vote
IANDC
2007
15 years 6 months ago
2007
We explore the notion of alternating two-way tree automata modulo the theory of finitely many associative-commutative (AC) symbols. This was prompted by questions arising in cryp...
179
click to vote
VTC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— High Speed Packet Access (HSPA), the latest evolution of the Wideband Code Division Multiple Access (WCDMA) standard, provides higher uplink data rates using higher-ord...
112
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We examined the benefits of animated scrolling using four speeds and three different document types in terms of task speed, accuracy and user preference. We considered reading tas...
136
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...
166
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
According to recent studies in developmental psychology and neuroscience, symbolic language is essentially intersubjective. Empathetically relating to others renders possible the a...