3424 search results - page 660 / 685 » Building Diverse Computer Systems |
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
Optical character recognition (OCR) remains a difficult problem for noisy documents or documents not scanned at high resolution. Many current approaches rely on stored font models...
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Piecewise planar models for stereo have recently become popular for modeling indoor and urban outdoor scenes. The strong planarity assumption overcomes the challenges presented by...
SG
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Most information visualisation methods are based on abstract visual representations without any concrete manifestation in the “real world”. However, a variety of abst...
SIGCOMM
2006
ACM
14 years 1 months ago
2006
ACM
Fast and effective distribution of software updates (a.k.a. patches) to millions of Internet users has evolved into a critical task over the last years. In this paper, we characte...