14360 search results - page 366 / 2872 » Time Modeling in MARTE |
123
click to vote
ICIAP
2005
ACM
16 years 28 days ago
2005
ACM
This paper presents the scatter search particle filter (SSPF) algorithm and its application to real-time hands and face tracking. SSPF combines sequential Monte Carlo (particle fil...
111
click to vote
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
—The ever increasing scale and complexity of large computational systems ask for sophisticated management tools, paving the way toward Autonomic Computing. A first step toward A...
126
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
We present a real-time approach for circular and polygonal road signs detection1 in still images, regardless of their pose and orientation. Object detection is done using a pairwis...
112
Voted
LOPSTR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
137
Voted
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...