Sciweavers

2740 search results - page 145 / 548
» Typing the Specialization Interface
Sort
View
103
Voted
GD
2005
Springer
15 years 9 months ago
BLer: A Boundary Labeller for Technical Drawings
In technical drawings and medical drawings/maps it is often common to explain certain features of the drawing by blocks of text that are arranged on its boundary. Bekos et. al. int...
Michael A. Bekos, Antonios Symvonis
131
Voted
ASIACRYPT
2004
Springer
15 years 9 months ago
Practical Two-Party Computation Based on the Conditional Gate
Abstract. We present new results in the framework of secure multiparty computation based on homomorphic threshold cryptosystems. We introduce the conditional gate as a special type...
Berry Schoenmakers, Pim Tuyls
126
Voted
DNA
2004
Springer
126views Bioinformatics» more  DNA 2004»
15 years 9 months ago
DNA Extraction by XPCR
The extraction of DNA strands including a given sequence of bases is a crucial step in the Adleman-Lipton extract model of DNA computing. In this paper, a special type of PCR is pr...
Giuditta Franco, Cinzia Giagulli, Carlo Laudanna, ...
126
Voted
GECCO
2003
Springer
15 years 9 months ago
Efficiency and Reliability of DNA-Based Memories
Associative memories based on DNA-affinity have been proposed [2]. Here, the performance, efficiency, reliability of DNA-based memories is quantified through simulations in silico....
Max H. Garzon, Andrew Neel, Hui Chen
125
Voted
FLOPS
2010
Springer
15 years 8 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann