Sciweavers

2556 search results - page 367 / 512
» The Triconnected Abstraction of Process Models
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 13 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
189
Voted
ICA
2004
Springer
16 years 13 days ago
Underdetermined Source Separation with Structured Source Priors
Abstract. We consider the source extraction problem for stereo instantaneous musical mixtures with more than two sources. We prove that usual separation methods based only on spati...
Emmanuel Vincent, Xavier Rodet
ICBA
2004
Springer
172views Biometrics» more  ICBA 2004»
16 years 13 days ago
Hallucinating Face by Eigentransformation with Distortion Reduction
Abstract. In this paper, we propose a face hallucination method using eigentransformation with distortion reduction. Different from most of the proposed methods based on probabilis...
Xiaogang Wang, Xiaoou Tang
IEAAIE
2004
Springer
16 years 13 days ago
Data Mining Approach for Analyzing Call Center Performance
Abstract. The aim of our research was to apply well-known data mining techniques (such as linear neural networks, multi-layered perceptrons, probabilistic neural networks, classifi...
Marcin Paprzycki, Ajith Abraham, Ruiyuan Guo, Srin...
185
Voted
ISOLA
2004
Springer
16 years 13 days ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...