Sciweavers

1346 search results - page 102 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
ACSC
2004
IEEE
15 years 10 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
CVPR
2008
IEEE
15 years 8 months ago
Tracking rotating fluids in realtime using snapshots
We present a model-based system for tracking rotating fluids, and apply it to a laboratory study of atmospheric circulation. Tracking is accomplished by filtering uncertain and hi...
Sai Ravela, John Marshall, Christopher Hill, Andre...
ANSS
2002
IEEE
15 years 11 months ago
Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
Peter Fritzson, Peter Bunus
ISMAR
2002
IEEE
15 years 11 months ago
Bread Crumbs: A Technique for Modelling Large Outdoor Ground Features
This paper presents a new technique we have created, known as Bread Crumbs, which allows the modelling of large outdoor ground features using a mobile augmented reality system and...
Wayne Piekarski, Bruce H. Thomas
VMV
2001
209views Visualization» more  VMV 2001»
15 years 7 months ago
A Novel Probabilistic Model for 3D Object Recognition: Spin-Glass Markov Random Fields
This contribution presents a new class of MRF, that is inspired by methods of statistical physics. The new energy function assumes full-connectivity in the neighborhood system and...
Barbara Caputo, Sahla Bouattour, Dietrich Paulus