395 search results - page 74 / 79 » Summarizing Microblogs Automatically |
175
Voted
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
214
click to vote
WAIM
2009
Springer
16 years 12 days ago
2009
Springer
Search engine advertising has become the main stream of online advertising system. In current search engine advertising systems, all users will get the same advertisement rank if t...
195
click to vote
SIGIR
2009
ACM
16 years 9 days ago
2009
ACM
Indexing and retrieval of speech content in various forms such as broadcast news, customer care data and on-line media has gained a lot of interest for a wide range of application...
213
Voted
MMSP
2008
IEEE
16 years 6 days ago
2008
IEEE
—The advent of media-sharing sites, especially along with the so called Web 2.0 wave, has led to the unprecedented Internet delivery of community-contributed media contents such ...
158
Voted
CAV
2007
Springer
15 years 12 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...