Sciweavers

974 search results - page 183 / 195
» Semantic Announcement Sharing
Sort
View
MOBISYS
2004
ACM
14 years 7 months ago
Metadata Creation System for Mobile Images
The amount of personal digital media is increasing, and managing it has become a pressing problem. Effective management of media content is not possible without content-related me...
Risto Sarvas, Erick Herrarte, Anita Wilhelm, Marc ...
POPL
2010
ACM
14 years 4 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
EUROGRAPHICS
2010
Eurographics
14 years 4 months ago
Mesh Decomposition with Cross-Boundary Brushes
We present a new intuitive UI, which we call cross-boundary brushes, for interactive mesh decomposition. The user roughly draws one or more strokes across a desired cut and our sy...
Youyi Zheng and Chiew-Lan Tai
SOSP
2005
ACM
14 years 4 months ago
Speculative execution in a distributed file system
Speculator provides Linux kernel support for speculative execution. It allows multiple processes to share speculative state by tracking causal dependencies propagated through inte...
Edmund B. Nightingale, Peter M. Chen, Jason Flinn
CVPR
2010
IEEE
14 years 3 months ago
Tag-based Web Photo Retrieval Improved by Batch Mode Re-Tagging
Web photos in social media sharing websites such as Flickr are generally accompanied by rich but noisy textual descriptions (tags, captions, categories, etc.). In this paper, we p...
Lin Chen, Dong Xu, Wai-Hung Tsang, Jiebo Luo