Sciweavers

4861 search results - page 779 / 973
» Parsimonious concept modeling
Sort
View
CONCUR
2011
Springer
14 years 6 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon

Book
5690views
17 years 4 months ago
The OpenGL Reference Manual - The Bluebook
"This manual is designed to be used as the companion reference volume to the OpenGL Programming Guide by Jackie Neider, Tom Davis, and Mason Woo (Reading, MA: Addison-Wesley P...
Dave Shreiner
CVPR
2008
IEEE
16 years 8 months ago
One step beyond histograms: Image representation using Markov stationary features
This paper proposes a general framework called Markov stationary features (MSF) to extend histogram based features. The MSF characterizes the spatial co-occurrence of histogram pa...
Jianguo Li, Weixin Wu, Tao Wang, Yimin Zhang
ICIP
2008
IEEE
16 years 8 months ago
Efficient representation and coding of prediction residuals and parameters in frame-based animated mesh compression
For compression of 3-D dynamic meshes, the novel framework of so-called frame-based animated mesh compression (FAMC) has been introduced recently. In this context, we propose an e...
Detlev Marpe, Heiner Kirchhoffer, Karsten Mül...
ICIP
2003
IEEE
16 years 8 months ago
Towards a theory for video coding using distributed compression principles
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...
Prakash Ishwar, Vinod M. Prabhakaran, Kannan Ramch...