1687 search results - page 219 / 338 » Light Functional Interpretation |
144
click to vote
MOBICOM
1997
ACM
15 years 9 months ago
1997
ACM
This paperintroduces the notion of “universalinteraction,” allowing a device to adapt its functionality to exploit services it discovers as it moves into a new environment. Us...
133
click to vote
VLDB
1994
ACM
15 years 9 months ago
1994
ACM
In this paper we address the problem of devising a set of indexes for a nested object hierarchy in an object-oriented database to improve the overall system performance. It is not...
164
click to vote
POPL
1990
ACM
15 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
195
Voted
CP
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
134
Voted
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
We present new techniques for computing illumination from non-diffuse luminaires and scattering from non-diffuse surfaces. The methods are based on new closed-form expressions d...