1928 search results - page 191 / 386 » Integrity Constraints in OWL |
ANOR
2004
13 years 10 months ago
2004
Abstract. In recent years we have seen an increasing interest in combining constraint satisfaction problem (CSP) formulations and linear programming (LP) based techniques for solvi...
AMAI
1999
Springer
13 years 10 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
We propose a novel method for detecting hands and hand-held objects in desktop manipulation situations. In order to achieve robust tracking under few constraints, we use multiple ...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose a subpixel registration algorithm to deal with the motion induced by breathing for renal perfusion MR image sequences. Our approach minimizes an energy functional that ...
ICCAD
2006
IEEE
14 years 7 months ago
2006
IEEE
An optimization algorithm for the design of combinational circuits that are robust to single-event upsets (SEUs) is described. A simple, highly accurate model for the SEU robustne...