Sciweavers

3856 search results - page 50 / 772
» Models for Automated Earthmoving
Sort
View
BMCBI
2002
214views more  BMCBI 2002»
13 years 9 months ago
Automated modelling of signal transduction networks
Background: Intracellular signal transduction is achieved by networks of proteins and small molecules that transmit information from the cell surface to the nucleus, where they ul...
Martin Steffen, Allegra Petti, John Aach, Patrik D...
CHI
2002
ACM
14 years 10 months ago
Automating CPM-GOMS
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
Bonnie E. John, Alonso H. Vera, Michael Matessa, M...
MICCAI
2003
Springer
14 years 10 months ago
Automated Model-Based Segmentation of the Left and Right Ventricles in Tagged Cardiac MRI
Albert Montillo, Dimitris N. Metaxas, Leon Axel
ICECCS
2009
IEEE
118views Hardware» more  ICECCS 2009»
14 years 4 months ago
Automating the Generation of Platform Specific Models
W. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuc...
FM
2009
Springer
127views Formal Methods» more  FM 2009»
14 years 4 months ago
Automated Property Verification for Large Scale B Models
Michael Leuschel, Jérôme Falampin, Fa...