Sciweavers

3856 search results - page 88 / 772
» Models for Automated Earthmoving
Sort
View
QEST
2007
IEEE
15 years 7 months ago
Distritrack: Automated Average-Case Analysis
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
David Hickey
MICCAI
2001
Springer
15 years 5 months ago
Exploiting Voxel Correlation for Automated MRI Bias Field Correction by Conditional Entropy Minimization
Abstract. An unsupervised model-based strategy for bias field correction is proposed. We assume that information (in the sense of the information theory) in the corrupted image is...
Eduardo Solanas, Jean-Philippe Thiran
BMCBI
2010
191views more  BMCBI 2010»
15 years 1 months ago
Colonyzer: automated quantification of micro-organism growth characteristics on solid agar
Background: High-throughput screens comparing growth rates of arrays of distinct micro-organism cultures on solid agar are useful, rapid methods of quantifying genetic interaction...
Conor Lawless, Darren J. Wilkinson, Alexander Youn...
DFG
2004
Springer
15 years 4 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...
IJSEKE
2011
141views more  IJSEKE 2011»
14 years 4 months ago
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly large, complex, and distributed. For assessing risks, l...
Stefan Biffl, Thomas Moser, Dietmar Winkler