Sciweavers

10182 search results - page 1663 / 2037
» Case Studies
Sort
View
CONCUR
2004
Springer
16 years 9 days ago
Probabilistic Event Structures and Domains
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
Daniele Varacca, Hagen Völzer, Glynn Winskel
CRYPTO
2004
Springer
86views Cryptology» more  CRYPTO 2004»
16 years 9 days ago
On Multiple Linear Approximations
In this paper we study the long standing problem of information extraction from multiple linear approximations. We develop a formal statistical framework for block cipher attacks b...
Alex Biryukov, Christophe De Cannière, Mich...
DALT
2004
Springer
16 years 8 days ago
The Logic of Communication Graphs
In 1992, Moss and Parikh studied a bimodal logic of knowledge and effort called Topologic. In this current paper, Topologic is extended to the case of many agents who are assumed...
Eric Pacuit, Rohit Parikh
FPL
2004
Springer
112views Hardware» more  FPL 2004»
16 years 8 days ago
Storage Allocation for Diverse FPGA Memory Specifications
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...
Dalia Dagher, Iyad Ouaiss
ICA
2004
Springer
16 years 8 days ago
Spatio-chromatic ICA of a Mosaiced Color Image
We analyze whether Independant Component Analysis (ICA) is an appropriate tool for estimating spatial information in spatio-chromatic mosaiced color images. In previous studies, IC...
David Alleysson, Sabine Süsstrunk
« Prev « First page 1663 / 2037 Last » Next »