Sciweavers

12115 search results - page 381 / 2423
» Bisimulation of Dynamical Systems
Sort
View
WCRE
2006
IEEE
16 years 24 days ago
Program COmprehension through Dynamic Analysis
Software maintenance and evolution can be made easier if program comprehension techniques are used. Understanding a software system would typically necessitate a combination of st...
Andy Zaidman, Orla Greevy, Abdelwahab Hamou-Lhadj
AICT
2005
IEEE
115views Communications» more  AICT 2005»
16 years 12 days ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard
ICCV
2003
IEEE
16 years 2 days ago
Tracking Articulated Hand Motion with Eigen Dynamics Analysis
This paper introduces the concept of eigen-dynamics and proposes an eigen dynamics analysis (EDA) method to learn the dynamics of natural hand motion from labelled sets of motion ...
Hanning Zhou, Thomas S. Huang
CEC
2007
IEEE
15 years 10 months ago
A closed loop stability analysis and parameter selection of the Particle Swarm Optimization dynamics for faster convergence
This paper presents an alternative formulation of the PSO dynamics by a closed loop control system, and analyzes the stability behavior of the system by using Jury's test and ...
Nayan R. Samal, Amit Konar, Swagatam Das, Ajith Ab...
AIML
2006
15 years 8 months ago
Dynamic topological logics over spaces with continuous functions
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
Boris Konev, Roman Kontchakov, Frank Wolter, Micha...