3166 search results - page 572 / 634 » Translation By Structural Correspondences |
121
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
Learning styles, as well as the best ways of responding with corresponding instructional strategies, have been intensively studied in the classical educational (classroom) setting...
109
click to vote
CHES
2009
Springer
16 years 1 months ago
2009
Springer
Algebraic side-channel attacks have been recently introduced as a powerful cryptanalysis technique against block ciphers. These attacks represent both a target algorithm and its ph...
196
click to vote
POPL
2006
ACM
16 years 28 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
113
Voted
RECOMB
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. With ever increasing amount of available data on protein-protein interaction (PPI) networks and research revealing that these networks evolve at a modular level, discover...
104
Voted
ICFP
2007
ACM
16 years 17 days ago
2007
ACM
Bidirectional transformation is a pair of transformations: a view function and a backward transformation. A view function maps one data structure called source onto another called...