3228 search results - page 254 / 646 » Computationally Sound Proofs |
124
click to vote
ESORICS
2008
Springer
15 years 6 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
127
click to vote
APAL
2007
15 years 4 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...
247
click to vote
Book
"This is a book about using electronic techniques to record, synthesize, process,
and analyze musical sounds, a practice which came into its modern form in the
years 1948-19...
146
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
The computational power and sensory capabilities of mobile devices are increasing dramatically these days, rendering them suitable for real-time sound synthesis and various musica...
135
click to vote
ACMACE
2008
ACM
15 years 6 months ago
2008
ACM
Dimensionality reduction is a statistical tool commonly used to map high-dimensional data into lower a dimensionality. The transformed data is typically more suitable for regressi...