Learn More
Explaining the causes of infeasibility of Boolean formulas has practical applications in various fields. We are generally interested in a minimum explanation of infeasibility that excludes irrelevant information. A smallest-cardinality unsatisfiable subset, called a minimum unsatisfiable core, can provide a succinct explanation of infeasibility and is(More)
In this paper an automated bathroom activity monitoring system based on acoustics is described. The system is designed to recognize and classify major activities occurring within a bathroom based on sound. Carefully designed HMM parameters using MFCC features are used for accurate and robust bathroom sound event classification. Experiments to validate the(More)
One of the most difficult jobs in designing communication and multimedia chips, is to design and verify complex complementary circuit pair (<i>E, E</i><sup>-1</sup>), in which circuit <i>E</i> transforms information into a format that is suitable for transmission and storage, while <i>E</i>'s complementary circuit <i>E</i><sup>-1</sup> recovers this(More)
—Complementary synthesis automatically synthesizes the decoder circuit E −1 of an encoder E. It determines the existence of E −1 by checking the parameterized complementary condition (P C). However, this algorithm will not halt if E −1 does not exist. To solve this problem, we propose a novel halting algorithm to check P C in two steps. First, we(More)
— Cognitive radio (CR) has the potential to substantially improve the system capacity and adaptability of wireless mesh network (WMN). In this paper we investigate the achievable performance gain of cognitive wireless mesh network (CWMN), in which all nodes are equipped with CRs, by jointly optimizing spectrum allocation, routing and time scheduling. The(More)