Sciweavers

4615 search results - page 739 / 923
» Virtual Classes and Their Implementation
Sort
View
SPIN
2009
Springer
16 years 1 months ago
A Decision Procedure for Detecting Atomicity Violations for Communicating Processes with Locks
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
Nicholas Kidd, Peter Lammich, Tayssir Touili, Thom...
MM
2009
ACM
125views Multimedia» more  MM 2009»
16 years 1 months ago
Unfolding speaker clustering potential: a biomimetic approach
Speaker clustering is the task of grouping a set of speech utterances into speaker-specific classes. The basic techniques for solving this task are similar to those used for spea...
Thilo Stadelmann, Bernd Freisleben
CSSE
2008
IEEE
16 years 1 months ago
Image Segmentation Based on 2D Otsu Method with Histogram Analysis
—Image segmentation plays an important role in image analysis and computer vision system. Among all segmentation techniques, the automatic thresholding methods are widely used be...
Jun Zhang, Jinglu Hu
GLOBECOM
2008
IEEE
16 years 1 months ago
A Memory-Optimized Bloom Filter Using an Additional Hashing Function
— A Bloom filter is a simple space-efficient randomized data structure for the representation set of items in order to support membership queries. In recent years, Bloom filte...
Mahmood Ahmadi, Stephan Wong
ICASSP
2008
IEEE
16 years 29 days ago
Hybrid feature selection for gesture recognition using support vector machines
This paper presents an approach for a multi-cue based two-dimensional gesture recognition that combines two different forms of cues, namely shape cues and motion cues, in a suppor...
Yu Yuan, Kenneth Barner