Sciweavers

1959 search results - page 20 / 392
» Concerned About Separation
Sort
View
111
Voted
SOCO
2009
Springer
15 years 8 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ö&...
132
Voted
CONCUR
2010
Springer
15 years 3 months 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 9 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...
139
Voted
AIR
2004
74views more  AIR 2004»
15 years 1 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 11 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