2516 search results - page 151 / 504 » Integrity Constraints for XML |
196
click to vote
ADBIS
2000
Springer
15 years 10 months ago
2000
Springer
The integration of bibliographical data today is considered one of the most important tasks in the area of digital libraries. Various available sources of bibliographical informati...
291
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...
178
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...
150
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...
144
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...