Sciweavers

4228 search results - page 234 / 846
» Models and Methods in Comparative Genomics
Sort
View
ICML
2005
IEEE
16 years 5 months ago
Closed-form dual perturb and combine for tree-based models
This paper studies the aggregation of predictions made by tree-based models for several perturbed versions of the attribute vector of a test case. A closed-form approximation of t...
Pierre Geurts, Louis Wehenkel
AUSAI
1997
Springer
15 years 8 months ago
On the Relation between Interpreted Systems and Kripke Models
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
Alessio Lomuscio, Mark Ryan
ACSD
2001
IEEE
83views Hardware» more  ACSD 2001»
15 years 8 months ago
Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...
Jerry R. Burch, Roberto Passerone, Alberto L. Sang...
INTERSPEECH
2010
14 years 11 months ago
Synthesis of fast speech with interpolation of adapted HSMMs and its evaluation by blind and sighted listeners
In this paper we evaluate a method for generating synthetic speech at high speaking rates based on the interpolation of hidden semi-Markov models (HSMMs) trained on speech data re...
Michael Pucher, Dietmar Schabus, Junichi Yamagishi
ICML
2008
IEEE
16 years 5 months ago
A rate-distortion one-class model and its applications to clustering
In one-class classification we seek a rule to find a coherent subset of instances similar to a few positive examples in a large pool of instances. The problem can be formulated an...
Koby Crammer, Partha Pratim Talukdar, Fernando Per...