796 search results - page 22 / 160 » A Formalization of ODMG Queries |
IUI
2010
ACM
15 years 8 months ago
2010
ACM
One of the critical problems in natural language interfaces is the discordance between the expressions covered by the interface and those by the knowledge base. In the graph-based...
109
click to vote
DAGSTUHL
2003
15 years 1 months ago
2003
In this chapter, we summarize the research on querying inconsistent databases we have been conducting over the last five years. The formal framework we have used is based on two c...
WWW
2001
ACM
16 years 13 days ago
2001
ACM
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
142
click to vote
POST
2012
13 years 7 months ago
2012
Provenance is an increasing concern due to the revolution in sharing and processing scientific data on the Web and in other computer systems. It is proposed that many computer sys...
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...