Sciweavers

10146 search results - page 167 / 2030
» Fast FAST
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 3 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
120
Voted
JUCS
2002
179views more  JUCS 2002»
15 years 3 months ago
A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata
: In this paper, we present a fast and simple algorithm for constructing a minimal acyclic deterministic finite automaton from a finite set of words. Such automata are useful in a ...
Bruce W. Watson
113
Voted
MOC
1998
80views more  MOC 1998»
15 years 3 months ago
Fast evaluation of multiple zeta sums
We show that the multiple zeta sum: ζ(s1, s2, ..., sd) = n1>n2>...>nd 1 ns1 1 ns2 2 ...n sd d , for positive integers si with s1 > 1, can always be written as a finit...
Richard E. Crandall
132
Voted
NAR
2007
106views more  NAR 2007»
15 years 3 months ago
INFO-RNA - a server for fast inverse RNA folding satisfying sequence constraints
INFO-RNA is a new web server for designing RNA sequences that fold into a user given secondary structure. Furthermore, constraints on the sequence can be specified, e.g. one can r...
Anke Busch, Rolf Backofen
FIMH
2007
Springer
15 years 9 months ago
Automated, Accurate and Fast Segmentation of 4D Cardiac MR Images
Based on discrete mathematical morphology, we propose a new automated and fast procedure to segment the left ventricular myocardium in 4D (3D+t) cine-MRI sequences. Thanks to the c...
Jean Cousty, Laurent Najman, Michel Couprie, St&ea...