249 search results - page 5 / 50 » Linear Realizability |
ISQED
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents a novel compact passive modeling technique for high-performance RF passives and interconnects modeled as high-order RLCM circuits. The new method is based on a...
COLING
2010
13 years 3 months ago
2010
Most of the known stochastic sentence generators use syntactically annotated corpora, performing the projection to the surface in one stage. However, in full-fledged text generati...
CRYPTO
2009
Springer
14 years 3 months ago
2009
Springer
We present a new methodology for proving security of encryption systems using what we call Dual System Encryption. Our techniques result in fully secure Identity-Based Encryption ...
CIE
2008
Springer
13 years 10 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper proposes a new expression of frequency transformation for linear continuous-time state-space systems. The proposed frequency transformation preserves the controllabi...