Sciweavers

2696 search results - page 374 / 540
» Semantic Abstraction and Anaphora
Sort
View
LPNMR
1999
Springer
15 years 10 months ago
Annotated Revision Programs
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
ADL
1998
Springer
184views Digital Library» more  ADL 1998»
15 years 10 months ago
Logical Information Modeling of Web-Accessible Heterogeneous Digital Assets
This paper introduces the MREF framework for representing and correlating information at a higher semantic level than is possible with Web-based information systems today. The rol...
Kshitij Shah, Amit P. Sheth
CC
1998
Springer
134views System Software» more  CC 1998»
15 years 10 months ago
Flow Logics for Constraint Based Analysis
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
Hanne Riis Nielson, Flemming Nielson
ER
1998
Springer
145views Database» more  ER 1998»
15 years 10 months ago
Design and Analysis of Quality Information for Data Warehouses
Data warehouses are complex systems that have to deliver highly-aggregated, high quality data from heterogeneous sources to decision makers. Due to the dynamic change in the requir...
Manfred A. Jeusfeld, Christoph Quix, Matthias Jark...
IUI
1997
ACM
15 years 10 months ago
Intelligent Network News Reader
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...
Hitoshi Isahara, Hiromi Ozaku