Sciweavers

1314 search results - page 128 / 263
» Validation of Object Oriented Models using Animation
Sort
View
UML
2001
Springer
15 years 4 months ago
Approaching a Discrete-Continuous UML: Tool Support and Formalization
: This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It...
Thomas Stauner, Alexander Pretschner, Istran P&eac...
ICRA
2002
IEEE
107views Robotics» more  ICRA 2002»
15 years 5 months ago
Deformation Control of Rheological Food Dough using a Forming Process Model
A new approach to the forming control using a forming process model of rheological food dough is presented. Manipulative operations of rheological objects can be found in many ind...
Shinichi Tokumoto, Shinichi Hirai
97
Voted
WSCG
2004
156views more  WSCG 2004»
15 years 1 months ago
Efficient Collision Detection between 2D Polygons
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...
Juan José Jiménez, Rafael Jesú...
89
Voted
ICASSP
2009
IEEE
15 years 7 months ago
On the use of Bayesian modeling for predicting noise reduction performance
In speech enhancement applications, a validated metric of noise reduction performance is vital in the relative ranking of noise reduction algorithms and in enhancing the performan...
Nazanin Pourmand, David Suelzle, Vijay Parsa, Yi H...
102
Voted
TOG
2008
106views more  TOG 2008»
15 years 10 days ago
Real-time control of physically based simulations using gentle forces
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...
Jernej Barbic, Jovan Popovic