5671 search results - page 322 / 1135 » A Semantic Approach to Interpolation |
181
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents an ontology-based approach for web querying, using semantic metadata. We propose a query language based on ontologies and emphasize its ability to express appro...
165
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a formal approach based on the RTLOTOS formal description technique for the semantic verification of SMIL documents. The reachability analysis of RT-LOTOS spec...
217
click to vote
IDEAS
1999
IEEE
15 years 11 months ago
1999
IEEE
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
194
click to vote
ISMIS
1993
Springer
15 years 11 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
156
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
The derived data update problem involves the transformation of modifications of derived facts into corresponding changes to base facts and other derived facts. Using a database sc...