Sciweavers

459 search results - page 19 / 92
» Mixed Models for the Analysis of Local Search Components
Sort
View
FORMATS
2007
Springer
15 years 5 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
116
Voted
CVPR
2004
IEEE
16 years 3 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 2 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 12 days 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
60
Voted
CIKM
2009
Springer
15 years 8 months 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...