9067 search results - page 542 / 1814 » Adaptive Model Checking |
202
click to vote
PCM
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In video coding standards, such as MPEG-4 and H.263, one important question is how to determine motion vectors for motion compensation in the INTER mode. Usually the sum ...
201
click to vote
SMA
2009
ACM
15 years 11 months ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well deļ¬ned on smooth surfaces. However, due to the nature as higher order diļ...
215
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
A practical method for creating a high dimensional index structure that adapts to the data distribution and scales well with the database size, is presented. Typical media descrip...
187
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simpliļ¬ed ...
184
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study value semantics of nested nets rather than reference semantics, and apply nested ne...