3047 search results - page 519 / 610 » A Temporal Consensus Model |
185
click to vote
CIVR
2007
Springer
15 years 11 months ago
2007
Springer
Among the various types of semantic concepts modeled, events pose the greatest challenge in terms of computational power needed to represent the event and accuracy that can be ach...
160
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...
153
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
143
click to vote
ECCV
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. There is considerable interest in techniques capable of identifying anomalies and unusual events in busy outdoor scenes, e.g. road junctions. Many approaches achieve this...
182
click to vote
ICIP
2003
IEEE
16 years 7 months ago
2003
IEEE
Robust real-time tracking of non-rigid objects in a dynamic environment is a challenging task. Among various cues in tracking, color can provide an efficient visual cue for this t...