3457 search results - page 60 / 692 » A Symbol Is Not a Symbol |
35
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
In random-access networks, such as the IEEE 802.11 network, different users may transmit their packets simultaneously, resulting in packet collisions. Traditionally, the collided p...
79
Voted
ACSC
2003
IEEE
15 years 5 months ago
2003
IEEE
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...
119
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
DMKD
2003
ACM
15 years 5 months ago
2003
ACM
The parallel explosions of interest in streaming data, and data mining of time series have had surprisingly little intersection. This is in spite of the fact that time series data...
112
Voted
TCC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...