1010 search results - page 40 / 202 » Logics for Contravariant Simulations |
WSC
2008
13 years 10 months ago
2008
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
WSC
2000
13 years 9 months ago
2000
The paper deals with a simulation study on a planned production plant in the brick industry. We implemented this plant in TAYLOR II. Although the boundary conditions seemed relati...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
VTS
2002
IEEE
14 years 28 days ago
2002
IEEE
Fault diagnosis is to predict the potential fault sites in a logic IC. In this paper, we particularly address the problem of diagnosing faults that exhibit the so-called Byzantine...