1076 search results - page 4 / 216 » Operations on proofs and labels |
132
click to vote
ESOP
2005
Springer
15 years 5 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...
COMBINATORICS
2000
14 years 11 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 21 days 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...
SOSP
2005
ACM
15 years 8 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 5 months ago
2004
ACM
