Sciweavers

2785 search results - page 314 / 557
» Simulating Fluid-Solid Interaction
Sort
View
SPIN
2004
Springer
15 years 12 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
CA
2003
IEEE
15 years 12 months ago
Melting and Flowing of Viscous Volumes
We present a simple, linear 3D cellular automata approach for animating the melting process of solid volumetric models. Accurate modelling of object melting usually requires compl...
Xiaoming Wei, Wei Li, Arie E. Kaufman
CW
2003
IEEE
15 years 12 months ago
MASCARET: Pedagogical Multi-Agents System for Virtual Environment for Training
This study concerns virtual environments for training in operational conditions. The principal developed idea is that these environments are heterogeneous and open multi-agent sys...
Cedric Buche, Ronan Querrec, Pierre De Loor, Pierr...
SMI
2003
IEEE
143views Image Analysis» more  SMI 2003»
15 years 12 months ago
Rough Surface Modeling Using Surface Growth
In this paper, we present a novel modeling method for synthesizing rough surfaces using discrete surface growth models. We employ a two-pass method. Initial point cluster data is ...
Yootai Kim, Raghu Machiraju, David Thompson
ATAL
2003
Springer
15 years 12 months ago
Information-driven phase changes in multi-agent coordination
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
Sven Brueckner, H. Van Dyke Parunak