8928 search results - page 473 / 1786 » Modeling Current Events |
170
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
171
click to vote
ICCD
1995
IEEE
15 years 9 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
172
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
With the limited field of view of human vision, our perception of most scenes is built over time while our eyes are scanning the scene. In the case of static scenes this process c...
183
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Summarizing the contents of a video containing human activities is an important problem in computer vision and has important applications in automated surveillance systems. Summar...
131
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we present the tools standardized by MPEG-7 for describing the semantics of multimedia. In particular, we the Abstraction Model, entities, attributes and relations ...