4131 search results - page 427 / 827 » Compactness in Topology and Computation |
205
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
216
click to vote
AUTONOMICS
2009
ACM
16 years 1 months ago
2009
ACM
Supervisory control is the main means to assure a high level performance and availability of large IT infrastructures. Applied control theory is used in physical and virtualization...
185
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
Wireless sensor networks are expected to be deployed in harsh environments characterised by extremely poor and fluctuating channel conditions. With the commonly adopted single-si...
180
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a distance measure between audio files designed to identify cover songs, which are new renditions of previously recorded songs. For each song we compute the chromagram...
170
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Scene matching measures the similarity of scenes in photos and is of central importance in applications where we have to properly organize large amount of digital photos by scene ...