1076 search results - page 4 / 216 » Operations on proofs and labels |
158
Voted
ESOP
2005
Springer
15 years 7 months ago
2005
Springer
JavaScript is a popular language for client-side web scripting. It has a dubious reputation among programmers for two reasons. First, many JavaScript programs are written against a...
112
click to vote
COMBINATORICS
2000
15 years 1 months ago
2000
This note extends a recent result of Kannan, Tetali and Vempala to completely solve, via a simple proof, the problem of random generation of a labeled tournament with a given scor...
ICPR
2000
IEEE
16 years 2 months ago
2000
IEEE
This paper explores the utilization of adaptive triangular meshes representing gray-level images to accelerate basic image processing operations. In particular, two algorithms for...
118
click to vote
SOSP
2005
ACM
15 years 10 months ago
2005
ACM
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
SAC
2004
ACM
15 years 7 months ago
2004
ACM
