Sciweavers

1285 search results - page 83 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
PPSN
2010
Springer
14 years 11 months ago
Globally Induced Model Trees: An Evolutionary Approach
In the paper we propose a new evolutionary algorithm for induction of univariate regression trees that associate leaves with simple linear regression models. In contrast to typical...
Marcin Czajkowski, Marek Kretowski
104
Voted
KBSE
2009
IEEE
15 years 7 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
ICPR
2008
IEEE
15 years 7 months ago
Parameter-based reduction of Gaussian mixture models with a variational-Bayes approach
This paper 1 proposes a technique for simplifying a given Gaussian mixture model, i.e. reformulating the density in a more parcimonious manner, if possible (less Gaussian componen...
Pierrick Bruneau, Marc Gelgon, Fabien Picarougne
97
Voted
CVGIP
2011
14 years 7 months ago
Procedural function-based modelling of volumetric microstructures
We propose a new approach to modelling heterogeneous objects containing internal volumetric structures with size of details orders of magnitude smaller than the overall size of th...
Alexander A. Pasko, Oleg Fryazinov, Turlif Vilbran...
PKDD
2005
Springer
122views Data Mining» more  PKDD 2005»
15 years 6 months ago
A Probabilistic Clustering-Projection Model for Discrete Data
For discrete co-occurrence data like documents and words, calculating optimal projections and clustering are two different but related tasks. The goal of projection is to find a ...
Shipeng Yu, Kai Yu, Volker Tresp, Hans-Peter Krieg...