585 search results - page 39 / 117 » Better Abstractions for Timed Automata |
100
Voted
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
108
Voted
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
120
Voted
MTA
2007
15 years 1 hour ago
2007
Abstract. In this paper we address the problem of comparing multimedia documents, which can be described according to different reference models. If we consider presentations as c...
110
Voted
IDA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This work aims to improve an existing time series forecasting algorithm –LBF– by the application of frequent episodes techniques as a complementary step to the model....
114
Voted
ESANN
2006
15 years 1 months ago
2006
Abstract. We present the OnlineDoubleMaxMinOver approach to obtain the Support Vectors in two class classification problems. With its linear time complexity and linear convergence ...