11321 search results - page 2191 / 2265 » Improvements to Turing's method |
170
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The transition from single-core to multi-core processors has made multi-threaded software an important subject over the last years in computer-aided verification. Model checkers ...
188
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
173
click to vote
MIR
2010
ACM
15 years 8 months ago
2010
ACM
Multimedia ranking algorithms are usually user-neutral and measure the importance and relevance of documents by only using the visual contents and meta-data. However, users’ int...
184
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
175
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
We address the problem of academic conference homepage understanding for the Semantic Web. This problem consists of three labeling tasks - labeling conference function pages, func...