Sciweavers

5671 search results - page 708 / 1135
» A Semantic Approach to Interpolation
Sort
View
DAWAK
2009
Springer
15 years 11 months ago
Mining Violations to Relax Relational Database Constraints
Frequent constraint violations on the data stored in a database may suggest that the semantics of the represented reality is changing. In this work we propose a methodology and a t...
Mirjana Mazuran, Elisa Quintarelli, Rosalba Rossat...
MKM
2009
Springer
15 years 11 months ago
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Spreadsheets are mathematical documents that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direc...
Andrea Kohlhase, Michael Kohlhase
WSKS
2009
Springer
15 years 11 months ago
Towards a Mediator Based on OWL and SPARQL
We propose a framework that supports a federated environment based on a Mediator Architecture in the Semantic Web. The Mediator supports mappings between the OWL Ontology of the Me...
Konstantinos Makris, Nikos Bikakis, Nektarios Giol...
LICS
2000
IEEE
15 years 11 months ago
Precongruence Formats for Decorated Trace Preorders
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
Bard Bloom, Wan Fokkink, Rob J. van Glabbeek
TSD
1999
Springer
15 years 11 months ago
Handling Word Order in a Multilingual System for Generation of Instructions
Slavic languages are characteristic by their relatively high degree of word order freedom. In the process of automatic generation from an underlying representation of the content, ...
Ivana Kruijff-Korbayová, Geert-Jan M. Kruij...