245 search results - page 40 / 49 » Efficient Symbolic Model Checking for Process Algebras |
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Markov Random Field (MRF) models are a popular tool for vision and image processing. Gaussian MRF models are particularly convenient to work with because they can be implemented u...
TAMODIA
2008
14 years 10 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...
CSCLP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
DCC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
68
Voted
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper proposes the variable block-size transform and context-based entropy coding techniques for the enhancement layer of FGS (Fine Granularity Scalable) video coding. First,...