Sciweavers

83 search results - page 17 / 17
» Generating Confusion Sets for Context-Sensitive Error Correc...
Sort
View
SAFECOMP
1998
Springer
13 years 9 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
BMCBI
2004
154views more  BMCBI 2004»
13 years 5 months ago
Base-By-Base: Single nucleotide-level analysis of whole viral genome alignments
Background: With ever increasing numbers of closely related virus genomes being sequenced, it has become desirable to be able to compare two genomes at a level more detailed than ...
Ryan Brodie, Alex J. Smith, Rachel L. Roper, Vasil...
PKC
2012
Springer
234views Cryptology» more  PKC 2012»
11 years 7 months ago
Ring-LWE in Polynomial Rings
Abstract. The Ring-LWE problem, introduced by Lyubashevsky, Peikert, and Regev (Eurocrypt 2010), has been steadily finding many uses in numerous cryptographic applications. Still,...
Léo Ducas, Alain Durmus