148 views124 votes15 years 7 months ago FATES 2006»
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
134 views119 votes15 years 5 months ago ADMA 2005»
We develop the notion of normalized information distance (NID) [7] into a kernel distance suitable for use with a Support Vector Machine classifier, and demonstrate its use for an...
156 views136 votes15 years 5 months ago SPIESR 2004»
The production of closed captions is an important but expensive process in video broadcasting. We propose a method to generate highly accurate off-line captions efficiently. Our s...
130 views114 votes15 years 3 months ago IJCSA 2007»
Power system defensive islanding is an efficient way to avoid catastrophic wide area blackouts, such as the 2003 North American Blackout. Finding defensive islands of large-scale ...
162 views126 votes16 years 5 months ago ICIP 2006»
In the past few years, a number of practical video coding schemes following distributed source coding principles have emerged. One of the main goals of distributed video coding (D...
120 views168 votes16 years 4 months ago ICML 2007»
Graph data such as chemical compounds and XML documents are getting more common in many application domains. A main difficulty of graph data processing lies in the intrinsic high ...
159 views138 votes16 years 3 months ago PERCOM 2007»
RFID tags combined with globally unique numbering schemes such as the Electronic Product Code (EPC) help standardizing the communication along the supply chain. Participants gener...
109 views128 votes15 years 10 months ago CEC 2009»
— Using a game-theoretic model combined with the evolutionary model, we investigate the conditions under which the desirable interaction rules will evolve and sustain in various ...
171 views132 votes15 years 5 months ago COLING 2008»
We propose an efficient dialogue management for an information navigation system based on a document knowledge base with a spoken dialogue interface. In order to perform robustly ...
115 views145 votes15 years 5 months ago IJCAI 2001»
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...