Sciweavers

108 search results - page 3 / 22
» Qualitative Analysis of Invariant Tori in a Dynamical System
Sort
View
AUSAI
1997
Springer
14 years 18 days ago
Evaluating a Qualitative Reasoner
In order to support verification, validation and analysis of dynamic Operations Research (OR) models a method of testing models against data is required. In the case of the QCM qu...
Sam Waugh, Tim Menzies, Simon Goss
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
13 years 6 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler
GRAPHICSINTERFACE
2007
13 years 10 months ago
A mixing board interface for graphics and visualization applications
We use a haptically enhanced mixing board with a video projector as an interface to various data visualization tasks. We report results of an expert review with four participants,...
Matthew Crider, Steven Bergner, Thomas N. Smyth, T...
APPML
2006
61views more  APPML 2006»
13 years 8 months ago
On a mathematical model of immune competition
This work deals with the qualitative analysis of a nonlinear integro-differential model of immune competition with special attention to the dynamics of tumor cells contrasted by t...
C. Cattani, Alexandre G. Ciancio, B. Lods
MM
2003
ACM
241views Multimedia» more  MM 2003»
14 years 1 months ago
Invariance in motion analysis of videos
In this paper, we propose an approach that retrieves motion of objects from the videos based on the dynamic time warping of view invariant characteristics. The motion is represent...
Cen Rao, Mubarak Shah, Tanveer Fathima Syeda-Mahmo...