3690 search results - page 465 / 738 » Computation with classical sequents |
160
Voted
PPOPP
2006
ACM
16 years 20 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
181
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
In this paper we propose a recommender system that helps users to navigate though the Web by providing dynamically generated links to pages that have not yet been visited and are ...
168
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We consider the problem of partitioning, in a highly accurate and highly efficient way, a set of n documents lying in a metric space into k non-overlapping clusters. We augment th...
164
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
162
click to vote
CVPR
2010
IEEE
16 years 11 days ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...