319 search results - page 16 / 64 » Improved Model Checking of Hierarchical Systems |
123
click to vote
ACL
2010
14 years 9 months ago
2010
Scoring sentences in documents given abstract summaries created by humans is important in extractive multi-document summarization. In this paper, we formulate extractive summariza...
120
click to vote
CSCW
1998
ACM
15 years 4 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...
95
Voted
ISPDC
2005
IEEE
15 years 5 months ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
105
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
We present a hierarchical classification model that allows rare objects to borrow statistical strength from related objects that have many training examples. Unlike many of the e...
CIKM
2010
Springer
14 years 6 months ago
2010
Springer
Context-awareness for information retrieval is challenging problem as information about the users current situation is rarely available. If such information would be available, re...