Sciweavers

3931 search results - page 462 / 787
» Separation logic and abstraction
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 14 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...
ICA
2004
Springer
16 years 14 days ago
ICA Using Kernel Entropy Estimation with NlogN Complexity
Abstract. Mutual information (MI) is a common criterion in independent component analysis (ICA) optimization. MI is derived from probability density functions (PDF). There are scen...
Sarit Shwartz, Michael Zibulevsky, Yoav Y. Schechn...
ICA
2004
Springer
16 years 14 days ago
Minimax Mutual Information Approach for ICA of Complex-Valued Linear Mixtures
Abstract. Recently, the authors developed the Minimax Mutual Information algorithm for linear ICA of real-valued mixtures, which is based on a density estimate stemming from Jaynes...
Jian-Wu Xu, Deniz Erdogmus, Yadunandana N. Rao, Jo...
IJCNLP
2004
Springer
16 years 14 days ago
Detection of Incorrect Case Assignments in Paraphrase Generation
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
Atsushi Fujita, Kentaro Inui, Yuji Matsumoto
IWCM
2004
Springer
16 years 14 days ago
Wiener-Optimized Discrete Filters for Differential Motion Estimation
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...
Kai Krajsek, Rudolf Mester