5664 search results - page 1015 / 1133 » Creativity support tools |
130
Voted
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
102
Voted
WWW
2004
ACM
16 years 3 months ago
2004
ACM
EducaNext is an educational mediator created within the UNIVERSAL IST Project which supports both, the exchange of reusable educational materials based on open standards, as well ...
116
click to vote
WWW
2001
ACM
16 years 3 months ago
2001
ACM
Representation of negotiations in electronic markets and their support are important issues in today's e-commerce research. Whereas most activities are focused on automation ...
100
Voted
KDD
2001
ACM
16 years 2 months ago
2001
ACM
Skewed distributions appear very often in practice. Unfortunately, the traditional Zipf distribution often fails to model them well. In this paper, we propose a new probability di...
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Although they have potential, to date location-based information systems have not radically improved the way we interact with our surroundings. To study related issues, we develop...