3565 search results - page 185 / 713 » Modeling a system controller for timing analysis |
198
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Human activity analysis is an important problem in computer
vision with applications in surveillance and summarization
and indexing of consumer content. Complex human
activities...
254
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
209
click to vote
QEST
2005
IEEE
16 years 20 hour ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...
227
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
154
click to vote
ICRA
2006
IEEE
16 years 14 days ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...