7623 search results - page 313 / 1525 » Constructive Volume Modeling |
148
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be r...
176
click to vote
EUROCRYPT
2011
Springer
14 years 10 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...
148
click to vote
ACL
1998
15 years 8 months ago
1998
There exists strong word association in natural language. Based on mutual information, this paper proposes a new MI-Trigger-based modeling approach to capture the preferred relati...
181
click to vote
WSC
2007
15 years 9 months ago
2007
This work presents a framework and a Graphical User Interface, Viskit, for the creation and analysis of component-based Discrete Event Simulation models. Two primary elements of t...
134
click to vote
JSYML
2007
15 years 6 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...