Sciweavers

1959 search results - page 20 / 392
» Concerned About Separation
Sort
View
SOCO
2009
Springer
15 years 6 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
CONCUR
2010
Springer
15 years 26 days ago
Reasoning about Optimistic Concurrency Using a Program Logic for History
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
Ming Fu, Yong Li, Xinyu Feng, Zhong Shao, Yu Zhang
ICA
2012
Springer
13 years 7 months ago
Distributional Convergence of Subspace Estimates in FastICA: A Bootstrap Study
Independent component analysis (ICA) is possibly the most widespread approach to solve the blind source separation (BSS) problem. Many different algorithms have been proposed, tog...
Jarkko Ylipaavalniemi, Nima Reyhani, Ricardo Vig&a...
116
Voted
AIR
2004
74views more  AIR 2004»
14 years 11 months ago
On Some Alleged Misconceptions about Fuzzy Logic
: (Entemann 2002) defends fuzzy logic by pointing to what he calls `misconceptions' concerning fuzzy logic. However, some of these `misconceptions' are in fact truths, an...
Francis Jeffry Pelletier
ICTIR
2009
Springer
14 years 9 months ago
Specificity Aboutness in XML Retrieval
This paper presents a theoretical methodology to evaluate filters in XML retrieval. Theoretical evaluation is concerned with the formal investigation of qualitative properties of r...
Tobias Blanke, Mounia Lalmas