Sciweavers

1515 search results - page 66 / 303
» On the relation of aspects and monads
Sort
View
EDBT
1998
ACM
119views Database» more  EDBT 1998»
13 years 12 months ago
A Logical Approach to Multidimensional Databases
In this paper we present MD, a logical model for OLAP systems, and show how it can be used in the design of multidimensional databases. Unlike other models for multidimensional dat...
Luca Cabibbo, Riccardo Torlone
LREC
2008
141views Education» more  LREC 2008»
13 years 9 months ago
The Penn Discourse TreeBank 2.0
We present the second version of the Penn Discourse Treebank, PDTB-2.0, describing its lexically-grounded annotations of discourse s and their two abstract object arguments over t...
Rashmi Prasad, Nikhil Dinesh, Alan Lee, Eleni Milt...
SIS
2004
13 years 9 months ago
Towards a Systematic Development of Secure Systems
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
Ruth Breu, Klaus Burger, Michael Hafner, Gerhard P...
AIML
1998
13 years 9 months ago
A Resolution-Based Decision Procedure for Extensions of K4
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
Harald Ganzinger, Ullrich Hustadt, Christoph Meyer...
ER
2008
Springer
102views Database» more  ER 2008»
13 years 8 months ago
On Temporal Cardinality in the Context of the TOWL Language
The TOWL language is a temporal ontology language built on top of OWL-DL that enables descriptions involving time and temporal aspects such as change and state transitions. Extendi...
Viorel Milea, Michael Mrissa, Kees van der Sluijs,...