1533 search results - page 291 / 307 » Semantic Matching: Algorithms and Implementation |
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
PLDI
2010
ACM
14 years 21 days ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
PAMI
2008
13 years 7 months ago
2008
Although it has been studied for years by the computer vision and machine learning communities, image annotation is still far from practical. In this paper, we propose a novel atte...
ICS
2011
Tsinghua U.
12 years 11 months ago
2011
Tsinghua U.
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
For many users with a physical or motor disability, using a computer mouse or other pointing device to navigate the web is cumbersome or impossible due to problems with pointing a...