4190 search results - page 538 / 838 » Type Class Directives |
115
click to vote
ENTCS
2008
15 years 5 months ago
2008
We present a generic congruence closure algorithm for deciding ground formulas in the combination of the theory of equality with uninterpreted symbols and an arbitrary built-in so...
134
Voted
ENTCS
2008
15 years 5 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
137
Voted
BMCBI
2006
15 years 5 months ago
2006
Motivation Protein remote homology prediction and fold recognition are central problems in computational biology. Supervised learning algorithms based on support vector machines a...
163
click to vote
IJBC
2008
15 years 5 months ago
2008
The localization of critical parameter sets called bifurcations is often a central task of the analysis of a nonlinear dynamical system. Bifurcations of codimension 1 that can be ...
144
Voted
CAL
2007
15 years 5 months ago
2007
1 – In this paper, we propose a new class of branch predictors, complementary branch predictors, which can be easily added to any branch predictor to improve the overall predicti...