660 search results - page 45 / 132 » Green surveillance applications |
141
click to vote
MICAI
2000
Springer
15 years 9 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
150
click to vote
AVSS
2005
IEEE
15 years 11 months ago
2005
IEEE
The performance of computer vision systems for measurement, surveillance, reconstruction, gait recognition, and many other applications, depends heavily on the placement of camera...
177
click to vote
CVPR
2008
IEEE
16 years 17 days ago
2008
IEEE
Background estimation, i.e. automatic recovery of the background image from a sequence of images containing moving foreground objects, is an important module in many applications,...
136
click to vote
SUTC
2006
IEEE
16 years 3 days ago
2006
IEEE
– We describe a network of sensors linked by software and the internet to an autonomous satellite observation response capability. This system of systems is designed with a flexi...
179
click to vote
ACCV
2010
Springer
15 years 8 months ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...