6650 search results - page 143 / 1330 » models 2009 |
155
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Enterprise modeling is a daunting task to be carried out from a single perspective. A challenge to this whole complexity is conflicting descriptions given by different actors when ...
198
click to vote
CRV
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
160
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
- We describe a preprocessing step to fault diagnosis of an observed response obtained from a faulty chip. In this step, a fault model for diagnosing the observed response is selec...
152
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
175
click to vote
IEAAIE
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...