419 search results - page 57 / 84 » Automatic Synthesis of Real Time Systems |
104
click to vote
VLSID
2002
IEEE
16 years 2 months ago
2002
IEEE
If motion estimation can choose the most suitable algorithm according to the changing characteristics of input image signals, we can get benefits, which improve quality and perfor...
132
click to vote
PR
2010
15 years 10 days ago
2010
Biometric based personal authentication is an effective method for automatically recognizing, with a high confidence, a person’s identity. By observing that the texture pattern p...
IEAAIE
2010
Springer
14 years 12 months ago
2010
Springer
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
133
click to vote
COMAD
2009
15 years 3 months ago
2009
Developing a vision based, efficient and automatic lane detection system from a moving vehicle is a challenging task mainly due to poor quality of lane markings, occlusion created...
144
click to vote
IANDC
2007
15 years 1 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...