822 search results - page 156 / 165 » Case Mining from Large Databases |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We study the problem of determining, given a run of a concurrent program, whether there is any alternate execution of it that violates atomicity, where atomicity is defin...
SAMT
2007
Springer
14 years 1 months ago
2007
Springer
Video summarization approaches have various fields of application, specifically related to organizing, browsing and accessing large video databases. In this paper we propose and ev...
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...
ICAT
2006
IEEE
14 years 1 months ago
2006
IEEE
When a fault such as unbalance occurs in a turbo-generator set, sensors should be put on its bearing to detect vibration signals for extracting fault symptoms, but the relationshi...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we discuss how to present the result of searching elements of any type from XML documents relevant to some information need (relevance-oriented search). As the resu...