1999 search results - page 92 / 400 » Finding Reductions Automatically |
OSDI
2008
ACM
16 years 1 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
125
click to vote
COLING
2008
15 years 3 months ago
2008
In this paper, we analyze the state of current human and automatic evaluation of topic-focused summarization in the Document Understanding Conference main task for 2005-2007. The ...
102
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
We consider two scenarios of naming people in databases of news photos with captions: (i) finding faces of a single person, and (ii) assigning names to all faces. We combine an in...
139
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Despite years of work on retargetable compilers, creating a good, reliable back end for an optimizing compiler still entails a lot of hard work. Moreover, a critical component of ...
116
click to vote
LREC
2010
15 years 3 months ago
2010
Textual information is an important communication medium contained rich expression of emotion, and emotion recognition on text has wide applications. Word emotion analysis is fund...