293 search results - page 51 / 59 » Decision Diagram Optimization Using Copy Properties |
ALMOB
2006
13 years 7 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
AI
2008
Springer
13 years 7 months ago
2008
Springer
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...
ISLPED
2004
ACM
14 years 25 days ago
2004
ACM
—This paper presents a method that uses data buffers to create long periods of idleness to exploit power management. This method considers the power consumed by the buffers and a...
AMAI
2004
Springer
14 years 24 days ago
2004
Springer
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
ICCAD
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...