6368 search results - page 239 / 1274 » Modeling Problem Transformations based on Data Complexity |
185
click to vote
VMCAI
2005
Springer
16 years 13 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
248
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
For a given query raised by a specific user, the Query Suggestion technique aims to recommend relevant queries which potentially suit the information needs of that user. Due to th...
146
click to vote
WSC
2004
15 years 8 months ago
2004
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
197
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Accurate assignment of genes to pathways is essential in order to understand the functional role of genes and to map the existing pathways in a given genome. Existing ...
143
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a robust method based on the modi ed p-spectrum to detect heart beats in ECG signals, which is also referred as QRS detection in the literature. QRS dete...