1959 search results - page 43 / 392 » Concerned About Separation |
110
click to vote
ESTIMEDIA
2008
Springer
15 years 3 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
142
click to vote
SEMWEB
2010
Springer
14 years 8 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
127
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Separation Logic has witnessed tremendous success in recent years in reasoning about programs that deal with heap storage. Its success owes to the fundamental principle that one s...
103
click to vote
LICS
2007
IEEE
15 years 8 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
122
click to vote
TASLP
2010
14 years 8 months ago
2010
In this paper, the issue of audio source separation from a single channel is addressed, i.e. the estimation of several source signals from a single observation of their mixture. Th...