3457 search results - page 99 / 692 » A Symbol Is Not a Symbol |
106
click to vote
ENTCS
2006
15 years 21 days ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
99
Voted
FUIN
2006
15 years 21 days ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
122
click to vote
SIGPRO
2008
15 years 18 days ago
2008
This paper introduces a novel method for real-time estimation of slowly varying parameters in nonlinear dynamical systems. The core concept is built upon the principles of symboli...
100
Voted
TASLP
2008
15 years 18 days ago
2008
Finding a piece of music based on its content is a key problem in music information retrieval. For example, a user may be interested in finding music based on knowledge of only a s...
115
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...