2911 search results - page 81 / 583 » A Theory of Expressiveness in Mechanisms |
151
click to vote
IMAGING
2004
15 years 7 months ago
2004
There are two widely held theories of color constancy based on very different mechanisms: Chromatic Adaptation and Spatial Comparisons. Chromatic Adaptation is based on the change...
256
click to vote
ICDT
2009
ACM
16 years 7 months ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
163
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In sponsored search, a number of advertising slots is available on a search results page, and have to be allocated among a set of advertisers competing to display an ad on the pag...
192
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
178
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...