3931 search results - page 60 / 787 » Separation logic and abstraction |
IDA
2009
Springer
2009
Springer
The 2008 Signal Separation Evaluation Campaign: A Community-Based Approach to Large-Scale Evaluation
15 years 4 months ago
Abstract. This paper introduces the first community-based Signal Separation Evaluation Campaign (SiSEC 2008), coordinated by the authors. This initiative aims to evaluate source s...
ISARCS
2010
15 years 1 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
ICA
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper, we propose a method for blind source separation (BSS) of convolutive audio recordings with short blocks of stationary sources, i.e. dynamically changing so...
EPIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
ICALP
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...