3724 search results - page 352 / 745 » Timed regular expressions |
150
click to vote
ISSRE
2007
IEEE
15 years 8 months ago
2007
IEEE
The traditional method of software robustness evaluation, through error injection, is for errors to be injected at reaching a specific code location. This paper studies what impa...
233
click to vote
UAI
2008
15 years 8 months ago
2008
Numerous temporal inference tasks such as fault monitoring and anomaly detection exhibit a persistence property: for example, if something breaks, it stays broken until an interve...
212
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
190
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
192
click to vote
ICGA
2008
15 years 6 months ago
2008
Recently, Monte-Carlo Tree Search (MCTS) has become a popular approach for intelligent play in games. Amongst others, it is successfully used in most state-of-the-art Go programs....