396 search results - page 15 / 80 » Combining decision procedures for the reals |
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
132
click to vote
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper presents a new evolutionary approach for adaptive combination of multiple biometrics to dynamically ensure the performance for the desired level of security. The adapti...
131
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: The receiver operating characteristic (ROC) curve is a fundamental tool to assess the discriminant performance for not only a single marker but also a score function c...
114
click to vote
MIAR
2010
IEEE
14 years 12 months ago
2010
IEEE
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
115
click to vote
ICIC
2007
Springer
15 years 7 months ago
2007
Springer
: - This paper introduces the main ideas of the nested partitions (NP) method, analyses its efficiency theoretically and proposes the way to improve the optimization efficiency of ...