4211 search results - page 633 / 843 » A formal approach to MASQ |
151
click to vote
CRYPTO
2004
Springer
15 years 12 months ago
2004
Springer
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...
159
click to vote
GG
2004
Springer
15 years 12 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
153
click to vote
IFM
2004
Springer
15 years 12 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
163
click to vote
ISMIR
2004
Springer
15 years 12 months ago
2004
Springer
We describe an efficient learning algorithm for aligning a symbolic representation of a musical piece with its acoustic counterpart. Our method employs a supervised learning appr...
170
click to vote
KI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...