Sciweavers

713 search results - page 117 / 143
» Syntax and Semantics of Babel-17
Sort
View
COLING
1992
13 years 9 months ago
A Logic Programming View of Relational Morphology
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...
Harvey Abramson
AMW
2009
13 years 9 months ago
Bi-Level Mapping: Combining Schema and Data Level Heterogeneity in Peer Data Sharing Systems
Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...
Md. Anisur Rahman, Mehedi Masud, Iluju Kiringa, Ab...
CAEPIA
2009
Springer
13 years 9 months ago
Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
SIGCOMM
2010
ACM
13 years 8 months ago
capDL: a language for describing capability-based systems
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker
DAWAK
2010
Springer
13 years 8 months ago
Physical Design and Implementation of Spatial Data Warehouses Supporting Continuous Fields
Abstract. Although many proposals exist for extending Geographic Information Systems (GIS) with OLAP and data warehousing capabilities (a topic denoted SOLAP), only recently the im...
Leticia I. Gómez, Alejandro A. Vaisman, Est...