1928 search results - page 69 / 386 » Integrity Constraints in OWL |
284
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
175
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, a method for the automatic sizing of analog integrated circuits is presented. Basic sizing rules, representing circuit knowledge, are set up before the sizing and a...
146
click to vote
ACL
2006
15 years 7 months ago
2006
We investigate the utility of supertag information for guiding an existing dependency parser of German. Using weighted constraints to integrate the additionally available informat...
141
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This paper presents a control theoretic formulation and optimal control solution for integrating human control inputs subject to linear state constraints. The formulatio...
177
click to vote
B
2007
Springer
16 years 11 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...