Sciweavers

2061 search results - page 129 / 413
» The continuous knapsack set
Sort
View
ICML
2000
IEEE
15 years 8 months ago
Mutual Information in Learning Feature Transformations
We present feature transformations useful for exploratory data analysis or for pattern recognition. Transformations are learned from example data sets by maximizing the mutual inf...
Kari Torkkola, William M. Campbell
INFOVIS
1998
IEEE
15 years 8 months ago
Dynamic Aggregation with Circular Visual Designs
One very effective method for managing large data sets is aggregation or binning. In this paper we consider two aggregation methods that are tightly coupled with interactive manip...
Mei C. Chuah
ISSS
1997
IEEE
105views Hardware» more  ISSS 1997»
15 years 8 months ago
Co-Emulation and Debugging of HW/SW-Systems
In this paper we present a method that allows to observe and control the emulation of communicating systems consisting of hardware and software parts. The approach provides the ab...
Gernot Koch, Udo Kebschull, Wolfgang Rosenstiel
EPEW
2007
Springer
15 years 8 months ago
Compositionality for Markov Reward Chains with Fast Transitions
A parallel composition is defined for Markov reward chains with fast transitions and for discontinuous Markov reward chains. In this setting, compositionality with respect to the r...
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik ...
TACAS
2000
Springer
139views Algorithms» more  TACAS 2000»
15 years 7 months ago
A Markov Chain Model Checker
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
Holger Hermanns, Joost-Pieter Katoen, Joachim Meye...