631 search results - page 19 / 127 » Interactive generation of integrated schemas |
WWW
2001
ACM
14 years 10 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
CIKM
2009
Springer
14 years 2 months ago
2009
Springer
The XML support in relational databases and the SQL/XML language are still relatively new as compared to purely relational databases and traditional SQL. Today, most database user...
COLING
2000
13 years 10 months ago
2000
s; these annotations provide an abstract description of the effects of particular linguistic choices, allowing the planner to evaluate these choiceswithout needing any linguistic k...
ICIP
1999
IEEE
14 years 11 months ago
1999
IEEE
In this paper we describe an interactive video object segmentation tool developed in the framework of the ACTSAC098 MOMUSYS project. The Video Object Generator with User Environme...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...