1631 search results - page 167 / 327 » Observing Functional Logic Computations |
145
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
133
click to vote
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Recognizing and localizing specular (or mirror-like) surfaces from a single image is a great challenge to computer vision. Unlike other materials, the appearance of a specular sur...
150
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Bad weather, such as fog and haze, can significantly degrade the visibility of a scene. Optically, this is due to the substantial presence of particles in the atmosphere that abso...
143
click to vote
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
In a reputation-based trust management system an entity’s behaviour determines its reputation which in turn affects other entities interaction with it. We present a mathematical...
120
click to vote
PACT
1997
Springer
15 years 8 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...