4693 search results - page 579 / 939 » Verifying Hybrid Systems |
111
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...
168
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Experimental assessment of the performance of classification algorithms is an important aspect of their development and application on real-world problems. To facilitate this analy...
167
click to vote
HASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Automated verification plays an important role for high assurance software. This typically uses a pair of pre/post conditions as a formal (but possibly partial) specification of e...
129
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
177
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
To provide personalization and adaptivity in technology enhanced learning systems, the needs of learners have to be known by the system first. Detecting these needs is a challengin...