972 search results - page 121 / 195 » Intersection types and computational effects |
DCC
2007
IEEE
14 years 8 months ago
2007
IEEE
In this paper, we address issues concerning bilevel image compression using JPEG2000. While JPEG2000 is designed to compress both bilevel and continuous tone image data using a sin...
DCC
2003
IEEE
14 years 8 months ago
2003
IEEE
3D models have become an essential element of multimedia applications because they provide visual effects that permit interactive exploration. As in other media types, efficient c...
ACHI
2009
IEEE
14 years 3 months ago
2009
IEEE
Designing CSCW systems that support the widely varying needs of targeted users is difficult. There is no silver bullet technology that enables users to effectively collaborate wit...
CISIS
2009
IEEE
14 years 3 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
PERCOM
2009
ACM
14 years 3 months ago
2009
ACM
—Positioning is a crucial task in pervasive computing, aimed at estimating the user’s positions to provide location-based services. In this paper, we study an interesting probl...