Sciweavers

5227 search results - page 677 / 1046
» Enterprise modeling using class and instance models
Sort
View
BMCBI
2004
102views more  BMCBI 2004»
15 years 6 months ago
Detection of transposable elements by their compositional bias
Background: Transposable elements (TE) are mobile genetic entities present in nearly all genomes. Previous work has shown that TEs tend to have a different nucleotide composition ...
Olivier Andrieu, Anna-Sophie Fiston, Dominique Anx...
ICIP
2009
IEEE
16 years 7 months ago
Illumination Invariant Unsupervised Segmenter
A novel illumination invariant unsupervised multispectral texture segmentation method with unknown number of classes is presented. Multispectral texture mosaics are locally repres...
ACG
2009
Springer
16 years 1 months ago
Data Assurance in Opaque Computations
The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faith...
Joe Hurd, Guy Haworth
TPHOL
2008
IEEE
16 years 1 months ago
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
Lukas Bulwahn, Alexander Krauss, Florian Haftmann,...
CEC
2007
IEEE
16 years 1 months ago
Bayesian inference in estimation of distribution algorithms
— Metaheuristics such as Estimation of Distribution Algorithms and the Cross-Entropy method use probabilistic modelling and inference to generate candidate solutions in optimizat...
Marcus Gallagher, Ian Wood, Jonathan M. Keith, Geo...