14360 search results - page 444 / 2872 » Time Modeling in MARTE |
154
click to vote
TCS
2008
15 years 4 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
163
click to vote
TIP
2008
15 years 4 months ago
2008
We propose a principled framework for recursively segmenting deformable objects across a sequence of frames. We demonstrate the usefulness of this method on left ventricular segmen...
146
Voted
TNN
2008
15 years 4 months ago
2008
Blind inversion of a linear and instantaneous mixture of source signals is a problem often encountered in many signal processing applications. Efficient FastICA (EFICA) offers an ...
167
click to vote
TPDS
2008
15 years 4 months ago
2008
Security is increasingly becoming an important issue in the design of real-time parallel applications, which are widely used in the industry and academic organizations. However, ex...
127
click to vote
AI
2004
Springer
15 years 4 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...