948 search results - page 103 / 190 » What can we achieve by arbitrary announcements |
SIGDIAL
2010
13 years 6 months ago
2010
Implicit discourse relation recognition is difficult due to the absence of explicit discourse connectives between arbitrary spans of text. In this paper, we use language models to...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
ECCV
2010
Springer
2010
Springer
Backprojection Revisited: Scalable Multi-view Object Detection and Similarity Metrics for Detections
14 years 2 months ago
Hough transform based object detectors learn a mapping from the image domain to a Hough voting space. Within this space, object hypotheses are formed by local maxima. The votes con...
CADE
2005
Springer
14 years 9 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
Web crawlers are increasingly used for focused tasks such as the extraction of data from Wikipedia or the analysis of social networks like last.fm. In these cases, pages are far m...