Sciweavers

4228 search results - page 123 / 846
» Models and Methods in Comparative Genomics
Sort
View
BIBM
2010
IEEE
161views Bioinformatics» more  BIBM 2010»
15 years 1 months ago
Cis-regulatory module detection using constraint programming
We propose a method for finding CRMs in a set of co-regulated genes. Each CRM consists of a set of binding sites of transcription factors. We wish to find CRMs involving the same t...
Tias Guns, Hong Sun, Kathleen Marchal, Siegfried N...
126
Voted
DATE
1999
IEEE
144views Hardware» more  DATE 1999»
15 years 8 months ago
A Method to Diagnose Faults in Linear Analog Circuits using an Adaptive Tester
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
Érika F. Cota, Luigi Carro, Marcelo Lubasze...
159
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
A Practical Method for Verifying Event-Driven Software
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
Gerard J. Holzmann, Margaret H. Smith
ICASSP
2009
IEEE
15 years 10 months ago
A hybrid method for deconvolution of Bernoulli-Gaussian processes
We investigate a hybrid method which improves the quality of state inference and parameter estimation in blind deconvolution of a sparse source modeled by a Bernoulli-Gaussian pro...
Sinan Yildirim, Ali Taylan Cemgil, Aysin Ertü...
115
Voted
CORR
2006
Springer
132views Education» more  CORR 2006»
15 years 3 months ago
Cross-Entropy method: convergence issues for extended implementation
The cross-entropy method (CE) developed by R. Rubinstein is an elegant practical principle for simulating rare events. The method approximates the probability of the rare event by...
Frédéric Dambreville