1980 search results - page 289 / 396 » Compositional Model Checking of Real Time Systems |
197
click to vote
ISDA
2010
IEEE
15 years 15 days ago
2010
IEEE
The usage of Gaussian mixture models for video segmentation has been widely adopted. However, the main difficulty arises in choosing the best model complexity. High complex models ...
128
Voted
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
133
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
163
click to vote
ISDA
2010
IEEE
15 years 1 months ago
2010
IEEE
Research in learning and planning in real-time strategy (RTS) games is very interesting in several industries such as military industry, robotics, and most importantly game industr...
134
click to vote
MICAI
2005
Springer
15 years 8 months ago
2005
Springer
We propose a novel, high-level model of human learning and cognition, based on association forming. The model configures any input data stream featuring a high incidence of repeti...