2647 search results - page 30 / 530 » Solving Term Inequalities |
144
click to vote
SEMWEB
2007
Springer
16 years 5 days 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...
167
click to vote
COCOA
2007
Springer
16 years 7 days 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...
155
click to vote
STACS
2001
Springer
15 years 10 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...
180
click to vote
CAV
2008
Springer
15 years 8 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) ...
162
click to vote
AUTOMATICA
2007
15 years 6 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...