Sciweavers

882 search results - page 52 / 177
» Allowing State Changes in Specifications
Sort
View
CVPR
2007
IEEE
16 years 8 months ago
Detector adaptation by maximising agreement between independent data sources
Traditional methods for creating classifiers have two main disadvantages. Firstly, it is time consuming to acquire, or manually annotate, the training collection. Secondly, the da...
Alan F. Smeaton, Ciarán O. Conaire, Noel E....
BIOWIRE
2007
Springer
16 years 11 days ago
Evolutionary and Temporal Dynamics of Transcriptional Regulatory Networks
Transcriptional regulation is a key mechanism that allows cells to make the appropriate amount of proteins at the right time. This is mediated by transcription factors that respond...
M. Madan Babu
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 10 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
CAISE
2008
Springer
15 years 8 months ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...
WSC
2000
15 years 7 months ago
Using simulation for manufacturing process reengineering: a practical case study
This paper presents a simulation study carried out to solve a problem of manufacturing process reengineering. The specific company in which the study took place is a medium size m...
Lisete Silva, Ana Luisa Ramos, Pedro M. Vilarinho