217 search results - page 8 / 44 » Backdoors To Typical Case Complexity |
102
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: We investigate the empirical complexity of the RNA secondary structure design problem, that is, the scaling of the typical difficulty of the design task for various cl...
EMSOFT
2007
Springer
15 years 5 months ago
2007
Springer
Design space exploration of embedded systems typically focuses on classical design goals such as cost, timing, buffer sizes, and power consumption. Robustness criteria, i.e. sensi...
106
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Microarray studies in cancer compare expression levels between two or more sample groups on thousands of genes. Data analysis follows a population-level approach (e.g....
115
click to vote
KES
2010
Springer
14 years 9 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...
216
click to vote
SPIN
2012
Springer
13 years 1 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...