Sciweavers

1993 search results - page 151 / 399
» Analysis of the Effectiveness of G3PARM Algorithm
Sort
View
EDBT
2010
ACM
182views Database» more  EDBT 2010»
15 years 1 months ago
BIAEditor: matching process and operational data for a business impact analysis
A profound analysis of all relevant business data in the company is necessary for optimizing business processes effectively. Current analyses typically exclusively run on business...
Sylvia Radeschütz, Florian Niedermann, Wolfga...
BMCBI
2004
90views more  BMCBI 2004»
14 years 10 months ago
Haplotype frequency estimation error analysis in the presence of missing genotype data
Background: Increasingly researchers are turning to the use of haplotype analysis as a tool in population studies, the investigation of linkage disequilibrium, and candidate gene ...
Enda D. Kelly, Fabian Sievers, Ross McManus
BMCBI
2007
162views more  BMCBI 2007»
14 years 10 months ago
Genome-wide identification of specific oligonucleotides using artificial neural network and computational genomic analysis
Background: Genome-wide identification of specific oligonucleotides (oligos) is a computationallyintensive task and is a requirement for designing microarray probes, primers, and ...
Chun-Chi Liu, Chin-Chung Lin, Ker-Chau Li, Wen-Shy...
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 2 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 1 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall