Sciweavers

2357 search results - page 181 / 472
» Computing Refactorings of Behavior Models
Sort
View
WSC
2008
15 years 6 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 2 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
15 years 11 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 6 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
15 years 10 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