Sciweavers

293 search results - page 9 / 59
» Towards an Automatic Modeling Tool for Observed System Behav...
Sort
View
QSIC
2005
IEEE
14 years 2 months ago
Towards Making Agent UML Practical: A Textual Notation and a Tool
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...
Michael Winikoff
SIAMSC
2008
126views more  SIAMSC 2008»
13 years 8 months ago
Towards a Statistical Theory of Texture Evolution in Polycrystals
Abstract. Most technologically useful materials possess polycrystalline microstructures composed of a large number of small monocrystalline grains separated by grain boundaries. Th...
K. Barmak, M. Emelianenko, Dmitry Golovaty, David ...
VMCAI
2004
Springer
14 years 2 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
14 years 3 months ago
Robopal: Modeling Role Transitions in Human-Robot Interaction
— We have developed a new communication robot, Robopal, which is an indoor/outdoor robot for use in humanrobot interaction research in the context of daily life. Robopal’s inte...
Dylan F. Glas, Takahiro Miyashita, Hiroshi Ishigur...
TVCG
2011
138views more  TVCG 2011»
13 years 3 months ago
Shape: A 3D Modeling Tool for Astrophysics
—We present a flexible interactive 3D morpho-kinematical modeling application for astrophysics. Compared to other systems, our application reduces the restrictions on the physic...
Wolfgang Steffen, Nicholas Koning, Stephan Wenger,...