Sciweavers

10146 search results - page 167 / 2030
» Fast FAST
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 6 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
JUCS
2002
179views more  JUCS 2002»
15 years 6 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
MOC
1998
80views more  MOC 1998»
15 years 6 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
NAR
2007
106views more  NAR 2007»
15 years 6 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
16 years 20 days 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...