461 search results - page 33 / 93 » Mercury: Combining Performance with Dependability Using Self... |
105
click to vote
ICCAD
2001
IEEE
15 years 9 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
114
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
112
Voted
BMCBI
2010
15 years 25 days ago
2010
Background: Biological networks offer us a new way to investigate the interactions among different components and address the biological system as a whole. In this paper, a revers...
90
Voted
INTERSPEECH
2010
14 years 7 months ago
2010
The paper describes the optimisation of Viterbi search used in unit selection TTS, since with a large speech corpus necessary to achieve a high level of naturalness, the performan...
102
Voted
SEC
2008
15 years 2 months ago
2008
The performance of an intrusion detector depends on several factors, like its internal architecture and the algorithms it uses. Thus, distinct detectors can behave distinctly when ...