386 search results - page 28 / 78 » A Consistent Semantics of Self-adjusting Computation |
127
click to vote
TACS
1994
Springer
15 years 6 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...
121
click to vote
ESWS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
118
click to vote
WS
2008
ACM
15 years 1 months ago
2008
ACM
This article presents the CHIP demonstrator5 for providing personalized access to digital museum collections. It consists of three main components: Art Recommender, Tour Wizard, an...
158
Voted
ACSC
2003
IEEE
15 years 7 months ago
2003
IEEE
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
100
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...