Sciweavers

4346 search results - page 114 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
15 years 11 months ago
On the Limits of Bottom-Up Computer Simulation: Towards a Nonlinear Modeling Culture
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
Kurt A. Richardson
CVPR
2009
IEEE
17 years 1 months ago
Locally Time-Invariant models of Human Activities using Trajectories on the Grassmanian
Human activity analysis is an important problem in computer vision with applications in surveillance and summarization and indexing of consumer content. Complex human activities...
Pavan Turaga, Rama Chellappa
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 10 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
ICESS
2004
Springer
15 years 11 months ago
The Modeling for Dynamic Power Management of Embedded Systems
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
Jiangwei Huang, Tianzhou Chen, Minjiao Ye, Yi Lian
VMV
2001
128views Visualization» more  VMV 2001»
15 years 7 months ago
Patient Specific Surgical Simulation System for Procedures in Colonoscopy
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
Simon Wildermuth, Cynthia Bruyns, Kevin Montgomery...