Sciweavers

1350 search results - page 177 / 270
» Reasoning about Staged Computation
Sort
View
ICIP
2001
IEEE
15 years 11 months ago
Look-up-table based DCT domain inverse motion compensation
DCT-based digital video coding standards such as MPEG and H.26x have been widely adopted for multimedia applications. Thus video processing in the DCT domain usually proves to be ...
Shizhong Liu, Alan C. Bovik
GIS
2006
ACM
15 years 11 months ago
Optimal BSPs and rectilinear cartograms
A cartogram is a thematic map that visualizes statistical data about a set of regions like countries, states or provinces. The size of a region in a cartogram corresponds to a par...
Mark de Berg, Elena Mumford, Bettina Speckmann
CHI
2008
ACM
15 years 10 months ago
Children attribute moral standing to a personified agent
This paper describes the results of a study conducted to answer two questions: (1) Do children generalize their understanding of distinctions between conventional and moral violat...
Nathan G. Freier
CHI
2004
ACM
15 years 10 months ago
A commonsense approach to predictive text entry
People cannot type as fast as they think, especially when faced with the constraints of mobile devices. There have been numerous approaches to solving this problem, including rese...
Tom Stocky, Alexander Faaborg, Henry Lieberman
ICDCS
2009
IEEE
15 years 7 months ago
Modeling Probabilistic Measurement Correlations for Problem Determination in Large-Scale Distributed Systems
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...
Jing Gao, Guofei Jiang, Haifeng Chen, Jiawei Han