1511 search results - page 138 / 303 » Relational Parametricity for Computational Effects |
175
click to vote
RT
2000
Springer
15 years 10 months ago
2000
Springer
We present an algorithm for ray tracing displacement maps that requires no additional storage over the base model. Displacement maps are rarely used in ray tracing due to the cost...
150
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Online Social Networks are communities of people who share common interests. These types of networks are used by millions of people around the world. The massive adoption of th...
159
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
Role-based access control (RBAC) has been proven to be a flexible and useful access control model for information sharing in distributed collaborative environments. Permission-rol...
173
click to vote
BMVC
1998
15 years 7 months ago
1998
In this paper, we discuss a method for representing and matching planar curves. The technique is based on using calculations from concentric circles to represent each curve by two...
172
click to vote
AAAI
1994
15 years 7 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...