2909 search results - page 263 / 582 » Consistency of the theory of contexts |
156
click to vote
ICIAR
2007
Springer
16 years 23 days ago
2007
Springer
A discrete regularization framework on graphs is proposed and studied for color image filtering purposes when images are represented by grid graphs. Image filtering is considered...
158
click to vote
IVA
2007
Springer
16 years 23 days ago
2007
Springer
This paper presents an approach to incorporate emotion regulation as addressed within psychology literature into virtual characters. To this end, first Gross’ informal theory of ...
182
click to vote
MIRAGE
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper introduces a new concept within shadow segmentation for usage in shadow removal and augmentation through construction of an alpha overlay shadow model. Previou...
165
click to vote
ASWEC
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
161
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents a new spatio-temporal motion estimation algorithm for video coding. The algorithm is based on optimization theory and consists of the strategies including 3D s...