8838 search results - page 87 / 1768 » Generalizing Domain Theory |
136
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
142
Voted
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Enriching Web applications with personalized data is of major interest for facilitating the user access to the published contents, and therefore, for guaranteeing successful user ...
104
Voted
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The term immersion is widely used to describe games but it is not clear what immersion is or indeed if people are using the same word consistently. This paper describes work done ...
123
Voted
CANDC
2009
ACM
15 years 10 months ago
2009
ACM
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
118
click to vote
RECSYS
2009
ACM
15 years 10 months ago
2009
ACM
Recommending news stories to users, based on their preferences, has long been a favourite domain for recommender systems research. In this paper, we describe a novel approach to n...