Sciweavers

742 search results - page 46 / 149
» Constructing Hierarchical Rule Systems
Sort
View
PSYCHNOLOGY
2008
115views more  PSYCHNOLOGY 2008»
13 years 7 months ago
Applying a Cognitive Engineering Approach to Interface Design of Energy Management Systems
This article presents a case study of the user interface design of a grid (energy) management system. The theoretical backdrop of the case study is cognitive engineering, with its...
Thomas Hoff, Andreas Hauser
DEDS
2007
87views more  DEDS 2007»
13 years 8 months ago
Diagnosis of Discrete Event Systems Using Decentralized Architectures
Decentralized diagnosis of discrete event systems has received a lot of attention to deal with distributed systems or with systems that may be too large to be diagnosed by one cen...
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
COMPASS
1994
14 years 4 days ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
HICSS
2003
IEEE
176views Biometrics» more  HICSS 2003»
14 years 1 months ago
Ad-Hoc Association-Rule Mining within the Data Warehouse
Many organizations often underutilize their already constructed data warehouses. In this paper, we suggest a novel way of acquiring more information from corporate data warehouses...
Svetlozar Nestorov, Nenad Jukic
CADE
2001
Springer
14 years 8 months ago
Canonical Propositional Gentzen-Type Systems
Canonical propositional Gentzen-type systems are systems which in addition to the standard axioms and structural rules have only pure logical rules with the subformula property, in...
Arnon Avron, Iddo Lev