Sciweavers

19979 search results - page 249 / 3996
» Decision support systems
Sort
View
DEDS
2007
87views more  DEDS 2007»
15 years 7 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
ICDT
2011
ACM
242views Database» more  ICDT 2011»
14 years 10 months ago
Knowledge compilation meets database theory: compiling queries to decision diagrams
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
Abhay Kumar Jha, Dan Suciu
DAC
2000
ACM
16 years 8 months ago
Dynamic power management of complex systems using generalized stochastic Petri nets
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
Qinru Qiu, Qing Wu, Massoud Pedram
RTAS
1998
IEEE
15 years 11 months ago
FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchil...
ISBI
2009
IEEE
16 years 2 months ago
Automatic Markup of Neural Cell Membranes Using Boosted Decision Stumps
To better understand the central nervous system, neurobiologists need to reconstruct the underlying neural circuitry from electron microscopy images. One of the necessary tasks is...
Kannan Umadevi Venkataraju, António R. C. P...