3387 search results - page 532 / 678 » Model-Checking for Real-Time Systems |
IJCAI
1989
13 years 11 months ago
1989
Parallel processors offer a very attractive mechanism for the implementation of large neural networks. Problems in the usage of parallel processing in neural computing involve the...
ICPR
2010
IEEE
13 years 11 months ago
2010
IEEE
The depth perception in the objects of a scene can be useful for tracking or applying visual servoing in mobile systems. 3D time-of-flight (ToF) cameras provide range images which ...
COMAD
2009
13 years 11 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...
IJCSA
2006
13 years 10 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
COMSIS
2007
13 years 10 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...