319 search results - page 16 / 64 » Improved Model Checking of Hierarchical Systems |
ACL
2010
13 years 7 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...
CSCW
1998
ACM
14 years 2 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...
ISPDC
2005
IEEE
14 years 3 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...
CVPR
2011
IEEE
13 years 6 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
13 years 4 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...