1888 search results - page 203 / 378 » Proof theory and computational analysis |
188
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
328
click to vote
Book
"This book was written for my introductory course in digital audio signal processing, which I have given at the Center for Computer Research in Music and Acoustics (CCRMA) sin...
210
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
During the analysis of packet log files from network experiments, the question arises which received packet belongs to which of the potentially many binary identical send events....
199
click to vote
GRC
2008
IEEE
15 years 8 months ago
2008
IEEE
Preference analysis is a class of important tasks in multi-criteria decision making. The classical rough set theory was generalized to deal with preference analysis by replacing e...
243
click to vote
PODS
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we give a simple scheme for identifying approximate frequent items over a sliding window of size n. Our scheme is deterministic and does not make any assumption on ...