273 search results - page 40 / 55 » Constructions from Dots and Lines |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
We introduce lock allocation, an automatic technique that takes a multi-threaded program annotated with atomic sections (that must be executed atomically), and infers a lock assig...
CISS
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— The objective of this paper is the linear reconstruction of a vector, up to a unimodular constant, when all phase information is lost, meaning only the magnitudes of fr...
CRV
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper we make use of the idea that a robot can autonomously discover objects and learn their appearances by poking and prodding at interesting parts of a scene. In order t...
PLDI
2006
ACM
14 years 3 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
ICDAR
2005
IEEE
14 years 2 months ago
2005
IEEE
Recently, high resolution digital cameras have made the digitization process more flexible and convenient than traditional scanning technology. Therefore, document image analysis ...