Sciweavers

2357 search results - page 181 / 472
» Computing Refactorings of Behavior Models
Sort
View
WSC
2008
15 years 9 months ago
Agent-based modeling and simulation: ABMS examples
Agent-based modeling and simulation (ABMS) is a new approach to modeling systems comprised of autonomous, interacting agents. ABMS promises to have far-reaching effects on the way...
Charles M. Macal, Michael J. North
GI
2010
Springer
15 years 4 months ago
Semantics and Execution of Domain Specific Models
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
Christian Motika, Hauke Fuhrmann, Reinhard von Han...
ICTAC
2009
Springer
16 years 1 months ago
Input-Output Model Programs
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
Margus Veanes, Nikolaj Bjørner
CVPR
2001
IEEE
16 years 8 months ago
A Topology Preserving Deformable Model Using Level Sets
Active contour and surface models, also known as deformable models, constitute a class of powerful segmentation techniques. Geometric deformable models implemented via level-set m...
Xiao Han, Chenyang Xu, Jerry L. Prince
HAPTICS
2007
IEEE
16 years 1 months ago
Force Feedback is Noticeably Different for Linear versus Nonlinear Elastic Tissue Models
Realistic modeling of the interaction between surgical instruments and human organs has been recognized as a key requirement in the development of high-fidelity surgical simulato...
Sarthak Misra, Allison M. Okamura, K. T. Ramesh