Sciweavers

354 search results - page 23 / 71
» Simplifying polygonal models using successive mappings
Sort
View
CVPR
2007
IEEE
14 years 9 months ago
Multiphase Segmentation of Deformation using Logarithmic Priors
In [8], the authors proposed the large deformation logunbiased diffeomorphic nonlinear image registration model which has been successfully used to obtain theoretically and intuit...
Igor Yanovsky, Paul M. Thompson, Stanley Osher, Lu...
GECCO
2004
Springer
150views Optimization» more  GECCO 2004»
14 years 1 months ago
Systems Biology Modeling in Human Genetics Using Petri Nets and Grammatical Evolution
Understanding the hierarchical relationships among biochemical, metabolic, and physiological systems in the mapping between genotype and phenotype is expected to improve the diagno...
Jason H. Moore, Lance W. Hahn
ICANN
2007
Springer
14 years 1 months ago
Visualising Class Distribution on Self-organising Maps
The Self-Organising Map is a popular unsupervised neural network model which has been used successfully in various contexts for clustering data. Even though labelled data is not re...
Rudolf Mayer, Taha Abdel Aziz, Andreas Rauber
FLAIRS
2008
13 years 10 months ago
A New Approach to Model-Based Diagnosis Using Probabilistic Logic
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
Nikita A. Sakhanenko, Roshan Rammohan, George F. L...
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
13 years 7 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker