Sciweavers

459 search results - page 19 / 92
» Mixed Models for the Analysis of Local Search Components
Sort
View
FORMATS
2007
Springer
15 years 9 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CVPR
2004
IEEE
16 years 8 months ago
Using Skew Gabor Filter in Source Signal Separation and Local Spectral Multi-Orientation Analysis
Responses of Gabor wavelets in the mid-frequency space build a local spectral representation scheme with optimal properties regarding the time-frequency uncertainty principle. How...
Weichuan Yu, Gerald Sommer, Kostas Daniilidis
ICA
2010
Springer
15 years 6 months ago
Adaptive Segmentation and Separation of Determined Convolutive Mixtures under Dynamic Conditions
Abstract. In this paper, we propose a method for blind source separation (BSS) of convolutive audio recordings with short blocks of stationary sources, i.e. dynamically changing so...
Benedikt Loesch, Bin Yang
CIKM
2010
Springer
15 years 4 months ago
Ranking related entities: components and analyses
Related entity finding is the task of returning a ranked list of homepages of relevant entities of a specified type that need to engage in a given relationship with a given sour...
Marc Bron, Krisztian Balog, Maarten de Rijke
CIKM
2009
Springer
16 years 14 days ago
An analysis framework for search sequences
In this paper we present a general framework to study sequences of search activities performed by a user. Our framework provides (i) a vocabulary to discuss types of features, mod...
Qiaozhu Mei, Kristina Klinkner, Ravi Kumar, Andrew...