Sciweavers

1789 search results - page 311 / 358
» Genetic Algorithms for Component Analysis
Sort
View
FORTE
1994
15 years 4 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
BMCBI
2010
136views more  BMCBI 2010»
15 years 3 months ago
SCPS: a fast implementation of a spectral method for detecting protein families on a genome-wide scale
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...
Tamás Nepusz, Rajkumar Sasidharan, Alberto ...
BMCBI
2007
246views more  BMCBI 2007»
15 years 3 months ago
TomoJ: tomography software for three-dimensional reconstruction in transmission electron microscopy
Background: Transmission electron tomography is an increasingly common three-dimensional electron microscopy approach that can provide new insights into the structure of subcellul...
Cédric Messaoudi, Thomas Boudier, Carlos Os...
147
Voted
CSE
2010
IEEE
15 years 3 months ago
MCALab: Reproducible Research in Signal and Image Decomposition and Inpainting
Morphological Component Analysis (MCA) of signals and images is an ambitious and important goal in signal processing; successful methods for MCA have many far-reaching application...
Mohamed-Jalal Fadili, Jean-Luc Starck, Michael Ela...
SIGCOMM
2005
ACM
15 years 9 months ago
Fast hash table lookup using extended bloom filter: an aid to network processing
Hash table is used as one of the fundamental modules in several network processing algorithms and applications such as route lookup, packet classification, per-flow state manage...
Haoyu Song, Sarang Dharmapurikar, Jonathan S. Turn...