1091 search results - page 85 / 219 » The State of Cognitive Systems Engineering |
LICS
1996
IEEE
14 years 2 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
TCAD
2010
13 years 5 months ago
2010
- This paper presents a supervised learning based power management framework for a multi-processor system, where a power manager (PM) learns to predict the system performance state...
CAISE
2005
Springer
14 years 3 months ago
2005
Springer
System engineering often states that respecting diversity during the upstream stages of a system designing is an unavoidable feature of the designing process. In the field of Infor...
KBSE
2005
IEEE
14 years 3 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
CONNECTION
2010
13 years 7 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...