We analyze the Synchrosqueezing transform, a consistent and invertible time-frequency analysis tool that can identify and extract oscillating components (of time-varying frequency...
Eugene Brevdo, Neven S. Fuckar, Gaurav Thakur, Hau...
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
Renato Silva, Carine Pascal, Thai Son Hoang, Micha...
—As smart home technologies continue to be deployed in research and real world environments, there continues to be a need for quality visualization of the smart home data. This d...
The Web Ontology Language (OWL) has been developed and standardised by the World Wide Web Consortium (W3C). It is one of the key technologies underpinning the Semantic Web, but its...
This demonstration paper presents a probabilistic XML data merging tool, that represents the outcome of semi-structured document integration as a probabilistic tree. The system is...