3457 search results - page 56 / 692 » A Symbol Is Not a Symbol |
87
Voted
IJBC
2010
14 years 10 months ago
2010
This paper introduces an extension of recurrence analysis to symbolic sequences. Heuristic arguments based on Shannon-McMillan-Breiman theorem suggest several relations between th...
108
click to vote
MFCS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We prove that the class of context-free languages with polynomially bounded ambiguity (PCFL) is the closure of the class of unambiguous languages (UCFL) under projections...
120
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
96
Voted
IJCAI
2001
15 years 1 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
98
Voted
SPIN
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Software model checking problems generally contain two different types of non-determinism: 1) non-deterministically chosen values; 2) the choice of interleaving among th...