472 search results - page 46 / 95 » Functional simulation using binary decision diagrams |
EUSFLAT
2001
13 years 10 months ago
2001
The paper describes a fuzzy decisionmalung approach to controlling thermal comfort in the occupied zones of an airconditioned building. The control objective is defined in terms o...
ICPR
2010
IEEE
14 years 5 days ago
2010
IEEE
The Functions of Multiple Instances (FUMI) method for learning a target prototype from data points that are functions of target and non-target prototypes is introduced. In this pa...
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present a parallel implementation for the steady-state analysis of continuous-time Markov chains (CTMCs). This analysis is performed via solution of a linear equ...
ICFCA
2009
Springer
14 years 1 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...
AUSAI
2004
Springer
14 years 2 months ago
2004
Springer
Most propagation-based set constraint solvers approximate the set of possible sets that a variable can take by upper and lower bounds, and perform so-called set bounds propagation....