3565 search results - page 242 / 713 » Modeling a system controller for timing analysis |
142
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
161
click to vote
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Applications such as layered manufacturing, or in general, solid free-form fabrication, pose a major challenge on online process control. For these parts to be functional, it is i...
163
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
We propose a novel learning algorithm to detect moving pedestrians from a stationary camera in real-time. The algorithm learns a discriminative model based on eigenflow, i.e. the ...
134
click to vote
PE
2002
Springer
15 years 3 months ago
2002
Springer
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...
130
click to vote
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
Fuzzy logic is a natural basis for modelling and solving problems involving imprecise knowledge and continuous systems. Unfortunately, fuzzy logic systems are invariably static (o...