1944 search results - page 141 / 389 » Understanding and evaluating creativity |
113
Voted
LPAR
2001
Springer
15 years 8 months ago
2001
Springer
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalizes traditional termination analysis where an analyzer tries to veri...
113
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper, we present a framework for evaluating the security of trust and reputation systems for electronic marketplaces populated with buying and selling agents. Our propose...
121
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
ct This paper presents an approach to exploit free text descriptions of TV programmes as available from EPG data sets for a recommendation system that takes the content of programm...
114
click to vote
FLAIRS
2010
15 years 6 months ago
2010
A novel `play-by-play' based procedure learning system has been successfully applied to automate Web tasks. In the transition to a non-Web domain, for a system widely used at...
115
click to vote
WSC
2008
15 years 6 months ago
2008
A simulation was commissioned to understand the interactions that constrain the capacity of a steel plant. The aim was for this to become a reusable tool that could evaluate the e...