10802 search results - page 1970 / 2161 » Generative and developmental systems |
143
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...
193
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...
182
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...
142
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The term "Web 2.0" is used to describe applications that distinguish themselves from previous generations of software by a number of principles. Existing work shows that...
178
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this work we present topic diversification, a novel method designed to balance and diversify personalized recommendation lists in order to reflect the user's complete spec...