9186 search results - page 1446 / 1838 » A Module System for Scheme |
141
click to vote
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
132
click to vote
FSKD
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a scheme for unsupervised classification with Gaussian mixture models by means of statistical learning analysis. A Bayesian Ying-Yang harmony learning system a...
110
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
This study proposes a novel WDM EPON system based upon an AWG, in which multiple wavelengths are established in both the upstream and the downstream fibers. The use of the AWG enab...
106
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We present a closed dependent type theory whose inductive types are given not by a scheme for generative declarations, but by encoding in a universe. Each inductive datatype arise...
140
click to vote
CSSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...