613 search results - page 71 / 123 » The Image Computation Problem in Hybrid Systems Model Checki... |
JSS
2006
13 years 7 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
ICIP
1999
IEEE
14 years 9 months ago
1999
IEEE
This paper describes a computational method for estimating the body reflectance function of color surfaces. The experimental apparatus consists of a vision system having seven spe...
GAMESEC
2010
13 years 5 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
TSP
2008
13 years 7 months ago
2008
Graphical models provide a powerful formalism for statistical signal processing. Due to their sophisticated modeling capabilities, they have found applications in a variety of fie...
AAAI
2008
13 years 10 months ago
2008
Humans have an amazing ability to perceive depth from a single still image; however, it remains a challenging problem for current computer vision systems. In this paper, we will p...