Sciweavers

2757 search results - page 351 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
NCA
2008
IEEE
15 years 8 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
ICA
2007
Springer
15 years 8 months ago
Blind Separation of Instantaneous Mixtures of Dependent Sources
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...
Marc Castella, Pierre Comon
CIIA
2009
15 years 2 months ago
Color Quantization and its Impact on Color Histogram Based Image Retrieval
The comparison of color histograms is one of the most widely used techniques for Content-Based Image Retrieval. Before establishing a color histogram in a defined model (RGB, HSV o...
Khouloud Meskaldji, Samia Boucherkha, Salim Chikhi
EMNLP
2009
14 years 11 months ago
Supervised and Unsupervised Methods in Employing Discourse Relations for Improving Opinion Polarity Classification
This work investigates design choices in modeling a discourse scheme for improving opinion polarity classification. For this, two diverse global inference paradigms are used: a su...
Swapna Somasundaran, Galileo Namata, Janyce Wiebe,...
COLING
2010
14 years 8 months ago
Towards a Unified Approach to Simultaneous Single-Document and Multi-Document Summarizations
Single-document summarization and multidocument summarization are very closely related tasks and they have been widely investigated independently. This paper examines the mutual i...
Xiaojun Wan