6960 search results - page 19 / 1392 » Continuity Analysis of Programs |
HYBRID
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
187
click to vote
DASFAA
2011
IEEE
14 years 1 months ago
2011
IEEE
In this demo, we present the StreamFitter system for real-time regression analysis on continuous data streams. In order to perform regression on data streams, it is necessary to co...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Considering the available body of literature on continuous EDAs, one must state that many important questions are still unanswered, e.g.: How do continuous EDAs really work, and h...
MLQ
2000
14 years 9 months ago
2000
It is shown, constructively, that the mapping T AT is sequentially continuous with respect to the weak
TIM
2010
14 years 4 months ago
2010
Abstract--An approach for the construction of a family of desired order continuous polynomial time window functions is presented without self-convolution of the parent window. The ...