107 search results - page 8 / 22 » Applicative Lifting |
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
64
Voted
ICWE
2007
Springer
15 years 4 months ago
2007
Springer
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
ASIACRYPT
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
NIPS
2004
14 years 11 months ago
2004
This paper presents a general family of algebraic positive definite similarity functions over spaces of matrices with varying column rank. The columns can represent local regions ...
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...