Sciweavers

709 search results - page 38 / 142
» In-stroke word completion
Sort
View
DNA
2004
Springer
157views Bioinformatics» more  DNA 2004»
15 years 5 months ago
Bond-Free Languages: Formalizations, Maximality and Construction Methods
The problem of negative design of DNA languages is addressed, that is, properties and construction methods of large sets of words that prevent undesired bonds when used in DNA com...
Lila Kari, Stavros Konstantinidis, Petr Sosí...
EUC
2004
Springer
15 years 5 months ago
On the Effects of Bandwidth Reduction Techniques in Distributed Applications
Communication optimization plays an important role in building networked distributed applications. In this paper, we systematically evaluate four bandwidth reduction algorithms, n...
Hanping Lufei, Weisong Shi, Lucia Zamorano
ITC
2000
IEEE
76views Hardware» more  ITC 2000»
15 years 4 months ago
Industrial evaluation of DRAM SIMM tests
This paper describes the results of testing 50 single inline memory modules (SIMMs), each containing 16 16Mbit DRAM chips (DUTs); 39 SIMMs failed, and of the 800 DUTs, 116failed. ...
A. J. van de Goor, A. Paalvast
ISSTA
1996
ACM
15 years 4 months ago
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
Daniel Jackson, Craig Damon
LREC
2008
88views Education» more  LREC 2008»
15 years 1 months ago
Lexical Substitution as a Framework for Multiword Evaluation
In this paper we analyse data from the SemEval lexical substitution task in those cases where the annotators indicated that the target word was part of a phrase before substitutin...
Diana McCarthy