Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
We develop an online algorithm called Component Hedge for learning structured concept classes when the loss of a structured concept sums over its components. Example classes inclu...
Wouter M. Koolen, Manfred K. Warmuth, Jyrki Kivine...
This paper presents the case for Information Visualization (IV) to be a central, integrated component of study in Information Science. We summarize the current state of IV within ...
Marilyn Ostergren, Jeff Hemsley, Miranda Belarde-L...
This paper proposes a feature extraction for speaker characterization by exploring the relationship between the two distinct components of the speech signal, one is harmonics acco...
Yanhua Long, Zhi-Jie Yan, Frank K. Soong, Li-Rong ...
This demo shows how usage information buried in query logs can play a central role in data integration and data exchange. More specifically, our system U-Map uses query logs to g...
Hazem Elmeleegy, Jaewoo Lee, El Kindi Rezig, Moura...