488 search results - page 82 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
108
click to vote
PRL
2008
14 years 11 months ago
2008
The purpose of extractive summarization is to automatically select a number of indicative sentences, passages, or paragraphs from the original document according to a target summa...
MIR
2006
ACM
15 years 5 months ago
2006
ACM
We present a general approach for automatically matching electronic slides to videos of corresponding presentations for use in distance learning and video proceedings of conferenc...
ICDM
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
117
click to vote
MM
2010
ACM
14 years 11 months ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...
117
click to vote
ICDCS
1999
IEEE
15 years 3 months ago
1999
IEEE
With the increasing complexity of large-scale distributed (LSD) systems, an efficient monitoring mechanism has become an essential service for improving the performance and reliab...