Sciweavers

5525 search results - page 1093 / 1105
» Verification of Model Transformations
Sort
View
EACL
1989
ACL Anthology
14 years 2 days ago
On The Generative Power Of Two-Level Morphological Rules
Koskenniemi's model of two-level morphology has been very influential in recent years, but definitions of the formalism have generally been phrased in terms of a compilation ...
Graeme D. Ritchie
AAAI
2010
13 years 11 months ago
Computing Cost-Optimal Definitely Discriminating Tests
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...
Anika Schumann, Jinbo Huang, Martin Sachenbacher
BIOINFORMATICS
2010
116views more  BIOINFORMATICS 2010»
13 years 11 months ago
A principal skeleton algorithm for standardizing confocal images of fruit fly nervous systems
Motivation: The fruit fly (Drosophila melanogaster) is a commonly used model organism in biology. We are currently building a 3D digital atlas of the fruit fly larval nervous syst...
Lei Qu, Hanchuan Peng
BMCBI
2008
110views more  BMCBI 2008»
13 years 11 months ago
Methylation Linear Discriminant Analysis (MLDA) for identifying differentially methylated CpG islands
Background: Hypermethylation of promoter CpG islands is strongly correlated to transcriptional gene silencing and epigenetic maintenance of the silenced state. As well as its role...
Wei Dai, Jens M. Teodoridis, Janet Graham, Constan...
BMCBI
2010
156views more  BMCBI 2010»
13 years 11 months ago
Extended morphological processing: a practical method for automatic spot detection of biological markers from microscopic images
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
Yoshitaka Kimori, Norio Baba, Nobuhiro Morone
« Prev « First page 1093 / 1105 Last » Next »