Sciweavers

326 search results - page 53 / 66
» Closing the Gap
Sort
View
IJAC
2008
84views more  IJAC 2008»
14 years 10 months ago
Groups whose Geodesics are Locally Testable
Abstract. A regular set of words is (k-)locally testable if membership of a word in the set is determined by the nature of its subwords of some bounded length k. In this article we...
Susan M. Hermiller, Derek F. Holt, Sarah Rees
ENTCS
2006
111views more  ENTCS 2006»
14 years 10 months ago
Token-Passing Nets: Call-by-Need for Free
Recently, encodings in interaction nets of the call-by-name and call-by-value strategies of the -calculus have been proposed. The purpose of these encodings was to he gap between ...
François-Régis Sinot
TCBB
2008
120views more  TCBB 2008»
14 years 10 months ago
Learning Scoring Schemes for Sequence Alignment from Partial Examples
When aligning biological sequences, the choice of scoring scheme is critical. Even small changes in gap penalties, for example, can yield radically different alignments. A rigorous...
Eagu Kim, John D. Kececioglu
CLEIEJ
1998
57views more  CLEIEJ 1998»
14 years 9 months ago
User-Level Parallel File I/O
Parallel disk I/O subsystems are becoming more important in today’s large-scale parallel machines. Parallel disk systems provide a significant boost in I/O performance reducing ...
Ernst L. Leiss, Yili Wang
MFCS
2010
Springer
14 years 8 months ago
Weights of Exact Threshold Functions
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
László Babai, Kristoffer Arnsfelt Ha...