441 search results - page 75 / 89 » Novel structures in Stanley sequences |
PODC
1990
ACM
14 years 1 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
JVCA
2007
13 years 9 months ago
2007
Recently, animations with deforming objects have been frequently used in various computer graphics applications. Morphing of objects is one of the techniques which realize shape t...
IAJIT
2010
13 years 8 months ago
2010
: The coding gain of the H.264/AVC video encoder mainly comes from the new incorporated prediction tools. However, their enormous computation and ultrahigh memory bandwidth are the...
MT
2010
13 years 8 months ago
2010
Phrase-based decoding is conceptually simple and straightforward to implement, at the cost of drastically oversimplified reordering models. Syntactically aware models make it pos...
ACCV
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Full body performance capture is a promising emerging technology that has been intensively studied in Computer Graphics and Computer Vision over the last decade. Highly-d...