2436 search results - page 256 / 488 » Comonadic Notions of Computation |
163
click to vote
ASPLOS
1998
ACM
15 years 11 months ago
1998
ACM
This paper proposes a technique that enables performing multi-cycle (multiplication, division, square-root ...) computations in a single cycle. The technique is based on the notio...
195
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Meaningful notions of distance between planar shapes typically involve the computation of a correspondence between points on one shape and points on the other. To determi...
177
Voted
DIS
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of efficiently discovering the influential nodes in a social network under the susceptible/infected/susceptible (SIS) model, a diffusion model where nodes ar...
175
click to vote
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
185
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...