77016 search results - page 295 / 15404 » Modeling |
164
click to vote
LSSC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
111
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
The necessity of a subject–machine–object interaction (SMOI) reference model and its application in electronic publishing of the objects of our culture is considered. The comp...
116
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
An intuitive and easy-to-use 3D modeling system has become more crucial with the rapid growth of computer graphics in our daily lives. Image-based modeling (IBM) has been a popula...
139
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents modeling concepts and mechanisms of the Agent Modeling Language (AML) to model social aspects of multiagent systems. The modeling of structural, behavioral as w...
124
click to vote
AUSAI
2005
Springer
15 years 10 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...