336 search results - page 51 / 68 » Program Speedups in Theory and Practice |
100
click to vote
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...
103
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
We present a practical approach for surface reconstruction of smooth mirror-like objects using sparse reflection correspondences (RCs). Assuming finite object motion with a fix...
117
Voted
CHI
1995
ACM
15 years 4 months ago
1995
ACM
As spoken language interfaces for real-world systems become a practical possibility, it has become apparent that such interfaces will need to draw on a variety of cues from divers...
95
Voted
TOPLAS
2008
15 years 13 days ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
123
click to vote
DOCENG
2006
ACM
15 years 6 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...