1179 search results - page 40 / 236 » Event Model Interfaces for Heterogeneous System Analysis |
ICIP
2003
IEEE
14 years 10 months ago
2003
IEEE
Knowledge-based fuzzy inference and neural learning are used in this paper in order to model the event recognition task in semantic video analysis. The advantage of their use is t...
ISORC
2005
IEEE
14 years 2 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
JAISE
2011
13 years 3 months ago
2011
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
SIGMOD
1997
ACM
14 years 1 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...