Sciweavers

878 search results - page 139 / 176
» A Scalable Approach to Activity Recognition based on Object ...
Sort
View
ICDE
2002
IEEE
116views Database» more  ICDE 2002»
14 years 9 months ago
SCADDAR: An Efficient Randomized Technique to Reorganize Continuous Media Blocks
Scalable storage architectures allow for the addition of disks to increase storage capacity and/or bandwidth. In its general form, disk scaling also refers to disk removals when e...
Ashish Goel, Cyrus Shahabi, Shu-Yuen Didi Yao, Rog...
FM
2009
Springer
169views Formal Methods» more  FM 2009»
13 years 11 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...
CCGRID
2010
IEEE
13 years 8 months ago
A Map-Reduce System with an Alternate API for Multi-core Environments
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...
Wei Jiang, Vignesh T. Ravi, Gagan Agrawal
ICPR
2008
IEEE
14 years 8 months ago
Bag-of-visual-words models for adult image classification and filtering
We present a method to classify images into different categories of pornographic content to create a system for filtering pornographic images from network traffic. Although differ...
Hermann Ney, Lexi Pimenidis, Thomas Deselaers
ICCV
2007
IEEE
14 years 2 months ago
Large Lexicon Detection of Sign Language
Abstract. This paper presents an approach to large lexicon sign recognition that does not require tracking. This overcomes the issues of how to accurately track the hands through s...
Helen Cooper, Richard Bowden