Sciweavers

720 search results - page 127 / 144
» Temporality in Databases
Sort
View
117
Voted
WWW
2002
ACM
16 years 2 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
131
Voted
CIKM
2009
Springer
15 years 8 months ago
Event detection from flickr data through wavelet-based spatial analysis
Detecting events from web resources has attracted increasing research interests in recent years. Our focus in this paper is to detect events from photos on Flickr, an Internet ima...
Ling Chen, Abhishek Roy
147
Voted
FAST
2004
15 years 3 months ago
CAR: Clock with Adaptive Replacement
CLOCK is a classical cache replacement policy dating back to 1968 that was proposed as a low-complexity approximation to LRU. On every cache hit, the policy LRU needs to move the a...
Sorav Bansal, Dharmendra S. Modha
208
Voted
CONCUR
2011
Springer
14 years 1 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon
ICIP
2007
IEEE
16 years 3 months ago
Semantics-Based Video Indexing using a Stochastic Modeling Approach
Semantic video indexing is the first step towards automatic video retrieval and personalization. We propose a data-driven stochastic modeling approach to perform both video segmen...
Yong Wei, Suchendra M. Bhandarkar, Kang Li