2436 search results - page 230 / 488 » Comonadic Notions of Computation |
186
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— One of the most difficult aspects of dealing with illumination effects in computer vision is accounting for specularity in the images of real objects. The specular regions in ...
148
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper we introduce algorithms to voxelize polygonal meshes in common sampling lattices. In the case of Cartesian lattices, we complete the separability and minimality proo...
145
Voted
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
act Approach to Process Equivalence Bartek Klin Pawel Soboci´nski BRICS University of Aarhus, Denmark Abstract. A framework of Plotkin and Turi’s, originally aimed at providing ...
150
click to vote
CSCLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft ...
133
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
Despite practical successes with the Futamura projections, it has been an open question whether target programs produced by specializing interpreters can always be as efficient as ...