1796 search results - page 321 / 360 » An Approach to Compositional Model Checking |
MCS
2002
Springer
13 years 7 months ago
2002
Springer
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
PEWASUN
2007
ACM
13 years 9 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
TCAD
2008
13 years 8 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
ICCV
2009
IEEE
15 years 29 days ago
2009
IEEE
This paper proposes a new approach for video stabilization.
Most existing video stabilization methods adopt
a framework of three steps, motion estimation, motion compensation
an...
ICIP
2008
IEEE
14 years 9 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...