946 search results - page 99 / 190 » Efficient Graphical Models for Processing Images |
CHARME
2001
Springer
14 years 18 days ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— In this paper a novel implementation of the saliency map model on a multi-GPU platform using CUDA technology is presented. The saliency map model is a wellknown computational m...
SG
2005
Springer
14 years 2 months ago
2005
Springer
Shading has a great impact to the human perception of 3D objects. Thus, in order to create or to deform a 3D object, it seems natural to manipulate its perceived shading. This pape...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
We propose a model for classification and detection of object classes where the number of classes may be large and where multiple instances of object classes may be present in an i...
DAGM
2004
Springer
14 years 2 months ago
2004
Springer
We present an approach to discretizing multivariate continuous data while learning the structure of a graphical model. We derive the joint scoring function from the principle of p...