Sciweavers

3856 search results - page 88 / 772
» Models for Automated Earthmoving
Sort
View
QEST
2007
IEEE
16 years 18 days 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 10 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 6 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 10 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 9 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