Sciweavers

7213 search results - page 81 / 1443
» Automated model grouping
Sort
View
CHI
2002
ACM
15 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...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 1 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
IJCAI
2007
14 years 11 months ago
Coalitional Bargaining with Agent Type Uncertainty
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, individually rational agents to form stable teams. Automating the negotiations underlying ...
Georgios Chalkiadakis, Craig Boutilier
MICCAI
2003
Springer
15 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»
15 years 4 months ago
Automating the Generation of Platform Specific Models
W. El Hajj Chehade, Ansgar Radermacher, Arnaud Cuc...