1021 search results - page 151 / 205 » Concepts in Proof Planning |
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
13 years 10 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
AAAI
2006
13 years 10 months ago
2006
This report is an expanded version of a paper in AAAI-2006 proceedings. In this report, we investigate the challenges that must be addressed for the Semantic Web to become a feasi...
GEOINFO
2004
13 years 10 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...
ICWS
2004
IEEE
13 years 10 months ago
2004
IEEE
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...
MMNS
2004
13 years 10 months ago
2004
As host mobility and radio interference in wireless networks cause packet losses and delays, it is difficult to develop useful mobile real-time media applications. This paper descr...