3987 search results - page 269 / 798 » Ontology-Based Model Transformation |
203
click to vote
SCESM
2006
ACM
16 years 19 days ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...
185
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Liquid chromatography-mass spectrometry (LC-MS) is one of the major techniques for the quantification of metabolites in complex biological samples. Peak modeling is on...
637
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
176
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Transcriptional modules (TM) consist of groups of co-regulated genes and transcription factors (TF) regulating their expression. Two high-throughput (HT) experimental ...
173
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...