10159 search results - page 288 / 2032 » System Design Validation Using Formal Models |
149
Voted
AISS
2010
15 years 27 days ago
2010
This paper presents the artificial intelligence techniques to control a proton exchange membrane fuel cell system process using particularly a methodology of dynamic neural networ...
126
click to vote
ACL
2008
15 years 4 months ago
2008
Previous studies evaluate simulated dialog corpora using evaluation measures which can be automatically extracted from the dialog systems' logs. However, the validity of thes...
112
Voted
ICWL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...
122
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
105
Voted
CSMR
2009
IEEE
15 years 10 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...