958 search results - page 49 / 192 » Resolving the Micropayment Problem |
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
CVPR
2006
IEEE
15 years 12 months ago
2006
IEEE
When we look at a picture, our prior knowledge about the world allows us to resolve some of the ambiguities that are inherent to monocular vision, and thereby infer 3d information...
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
SSDBM
2008
IEEE
15 years 4 months ago
2008
IEEE
Bitmap indexes are known to be efficient for ad-hoc range queries that are common in data warehousing and scientific applications. However, they suffer from the curse of cardina...
ICTAI
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we present a new hypergraph partitioning algorithm that jointly optimizes the number of hyperedge cuts and the number of shared vertices in nonlinear constrained op...