14360 search results - page 297 / 2872 » Time Modeling in MARTE |
84
Voted
SAC
2003
ACM
15 years 5 months ago
2003
ACM
In this paper, we propose a manpower allocation model with time windows which is of practical interest to serviceman scheduling operations. Specifically, this problem originates f...
ARTS
1997
Springer
15 years 4 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
112
Voted
DSP
2006
15 years 20 days ago
2006
Cross correlation function (CCF) of signals is an important tool of multi-sensors signal processing. Parabola functions are commonly used as parametric models of the CCF in time d...
105
click to vote
TMI
2008
15 years 16 days ago
2008
We propose a new method for detecting activation in functional magnetic resonance imaging (fMRI) data. We project the fMRI time series on a low-dimensional subspace spanned by wave...
110
Voted
JCST
2010
14 years 7 months ago
2010
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...