14360 search results - page 25 / 2872 » Time Modeling in MARTE |
146
click to vote
ICFEM
2009
Springer
15 years 23 days ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
146
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
144
click to vote
IBPRIA
2007
Springer
15 years 9 months ago
2007
Springer
Detection of speckle in ultrasound (US) images has been regarded as an important research topic in US imaging, mainly focusing on two specific applications: improving signal to no...
140
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Recently sparse representation has been applied to visual tracker by modeling the target appearance using a sparse approximation over a template set, which leads to the so-called ...
140
click to vote
SODA
2012
ACM
13 years 5 months ago
2012
ACM
We study the role that parallelism plays in time complexariants of Winfree’s abstract Tile Assembly Model (aTAM), a model of molecular algorithmic self-assembly. In the “hiera...