14360 search results - page 377 / 2872 » Time Modeling in MARTE |
105
Voted
JRTIP
2011
14 years 8 months ago
2011
Abstract Image denoising is the process of removing the noise that perturbs image analysis methods. In some applications like segmentation or registration, denoising is intended to...
124
Voted
SIAMNUM
2010
14 years 7 months ago
2010
This paper deals with error estimates for space-time discretizations in the context of nary variational inequalities of rate-independent type. After introducing a general abstract ...
114
click to vote
JMLR
2012
13 years 3 months ago
2012
In many settings, data is collected as multiple time series, where each recorded time series is an observation of some underlying dynamical process of interest. These observations...
85
Voted
FC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...
123
Voted
IANDC
2006
15 years 1 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...