3169 search results - page 139 / 634 » Robust Timed Automata |
119
Voted
VTS
2008
IEEE
15 years 9 months ago
2008
IEEE
Dealing with static and dynamic parameter variations has become a major challenge for design and test. To avoid unnecessary yield loss and to ensure reliable system operation a ro...
113
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
CSDA
2010
15 years 2 months ago
2010
In empirical work on multivariate financial time series, it is common to postulate a Multivariate GARCH model. We show that the popular Gaussian quasi-maximum likelihood estimator...
141
Voted
ALT
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a novel paradigm for learning languages that consists of mapping strings to an appropriate high-dimensional feature space and learning a separating hyperplane i...
132
Voted
ROBOCUP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...