1220 search results - page 111 / 244 » Restricting grammatical complexity |
FOCS
2007
IEEE
13 years 11 months ago
2007
IEEE
We study the reconstruction of a stratified space from a possibly noisy point sample. Specifically, we use the vineyard of the distance function restricted to a 1-parameter family...
GI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
An algorithm for efficient encoding of LDPC codes is presented that does not impose any restrictions on the construction of the parity-check matrices. The algorithm modifies the pa...
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
COMPSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
Off-The-Shelf (OTS) software components are being used within complex safety-critical applications. However, to use these untrustworthy components with confidence, it is necessary...