8874 search results - page 214 / 1775 » A New Implementation of Automath |
194
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Pairwise sequence alignment methods are widely used in biological research. The increasing number of sequences is perceived as one of the upcoming challenges for seque...
125
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we introduce a new parallel variant of the LLL lattice basis reduction algorithm. Our new, multi-threaded algorithm is the first to provide an efficient,...
134
click to vote
INTETAIN
2009
Springer
15 years 11 months ago
2009
Springer
This paper reports the design, implementation, and application of a new interface for augmenting performance and play on the low flying trapeze. Sensors were used to gauge the moti...
121
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
141
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we design interleavers for systematic repeat-accumulate (RA) codes. The new interleavers, which we call L-type and modified L-type interleavers, are deterministic, ...