14360 search results - page 336 / 2872 » Time Modeling in MARTE |
114
Voted
MMM
2008
Springer
15 years 7 months ago
2008
Springer
Effective similarity search in multi-media time series such as video or audio sequences is important for content-based multi-media retrieval applications. We propose a framework th...
76
Voted
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
100
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present the features of Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation of TPN and on-the-fly model-checking of reachabilit...
76
Voted
GECCO
2004
Springer
15 years 6 months ago
2004
Springer
It has been shown empirically that the XCS classifier system solves typical classification problems in a machine learning competitive way. However, until now, no learning time es...
107
click to vote
AMAST
2000
Springer
15 years 5 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...