90 search results - page 10 / 18 » Combining Symbolic Representations for Solving Timed Games |
BMCBI
2008
13 years 8 months ago
2008
Background: Protein remote homology detection and fold recognition are central problems in bioinformatics. Currently, discriminative methods based on support vector machine (SVM) ...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
CONCUR
1998
Springer
14 years 25 days ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
CBMS
2004
IEEE
14 years 10 days ago
2004
IEEE
Coronary angiography has become an important tool in modern medicine by providing an additional modality for heart disease diagnostics. Even though the recorded images (or image s...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
As a new branch of biometrics, palmprint authentication has attracted increasing amount of attention because palmprints are abundant of line features so that low resolution images...