23036 search results - page 124 / 4608 » Sketching informal presentations |
193
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
A significant Fourier transform (SFT) algorithm, given a threshold and oracle access to a function f, outputs (the frequencies and approximate values of) all the -significant Fou...
188
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
176
click to vote
JAPLL
2010
15 years 1 months ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
182
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
—Pervasive computing technologies can enable very flexible situated collaboration patterns among citizens and, via crowdsourcing, can promote a participatory way of contributing ...
224
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...