2647 search results - page 30 / 530 » Solving Term Inequalities |
116
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
A new paradigm in Semantic Web research focuses on the development of a new generation of knowledge-based problem solvers, which can exploit the massive amounts of formally speci...
139
Voted
COCOA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a branch-and-bound (bb) algorithm for the multiple sequence alignment problem (MSA), one of the most important problems in computational biology. The upper bou...
126
Voted
STACS
2001
Springer
15 years 8 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
154
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...
125
Voted
AUTOMATICA
2007
15 years 3 months ago
2007
In this paper we present output-feedback controllers solving the global output regulation problem for a class of nonlinear systems. The proposed controllers are based on the notio...