14360 search results - page 401 / 2872 » Time Modeling in MARTE |
129
click to vote
TCOM
2008
15 years 4 months ago
2008
In this paper we develop a fine synchronization algorithm for multiband OFDM transmission in the presence of frequency selective channels. This algorithm is based on maximum a post...
168
click to vote
TOSEM
2010
14 years 11 months ago
2010
Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted tha...
134
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
139
click to vote
HAPTICS
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we present computationally efficient algorithms for the real time simulation of minimally invasive surgical (MIS) procedures. To develop a surgical simulator for tr...
135
click to vote
STACS
2001
Springer
15 years 9 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...