1046 search results - page 111 / 210 » Social context summarization |
177
click to vote
W4A
2010
ACM
15 years 3 months ago
2010
ACM
Information graphics (such as bar charts and line graphs) play a vital role in many multimodal documents. Unfortunately, visually impaired individuals who use screen reader progra...
149
click to vote
TAICPART
2006
IEEE
15 years 11 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
163
click to vote
SEKE
2009
Springer
15 years 10 months ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
157
click to vote
SP
2010
IEEE
15 years 9 months ago
2010
IEEE
—Dynamic taint analysis and forward symbolic execution are quickly becoming staple techniques in security analyses. Example applications of dynamic taint analysis and forward sym...
107
click to vote
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper summarizes recent work at Microsoft on the development of novel direct models. The key characteristic of our approaches is the use of long-span segment level features t...