Sciweavers

3081 search results - page 292 / 617
» A Formal Ontology of Properties
Sort
View
APCCM
2008
15 years 8 months ago
A Conceptual Model for Multidimensional Data
This paper introduces a Conceptual Data Model for Data Warehouse including multidimensional aggregation. It is based on Entity-Relationships data model. The conceptual data model ...
Anand S. Kamble
MVA
1992
117views Computer Vision» more  MVA 1992»
15 years 7 months ago
Representing and Utilising Knowledge for Understanding Structured Documents
This paper presents a document analysis system which is capable of extracting the semantics of specific text portions of structured documents. The main component of the system is ...
Thomas Bayer
FUIN
2008
93views more  FUIN 2008»
15 years 6 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
IGPL
2010
111views more  IGPL 2010»
15 years 5 months ago
A logic of trust and reputation
Reputation and trust are useful instruments in multi-agent systems to evaluate agent behaviour. Most of the works on trust and reputation adopt a quantitative representation of the...
Andreas Herzig, Emiliano Lorini, Jomi Fred Hü...
FORTE
2009
15 years 4 months ago
Epistemic Logic for the Applied Pi Calculus
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the secur...
Rohit Chadha, Stéphanie Delaune, Steve Krem...