2790 search results - page 201 / 558 » A generative theory of relevance |
144
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
The movement of music from physical discs to digital resources managed on a computer has had an effect on the listening habits of users. We explore using the potential of the inna...
172
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...
167
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
After more than a decade of e-government research, little work has been done to envision the longer term future of government and society and the unanswered questions associated w...
156
click to vote
CSCW
1992
ACM
15 years 10 months ago
1992
ACM
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in CSCW systems by active, information generation mechanisms separat...
155
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...