Sciweavers

4346 search results - page 114 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
128
Voted
HICSS
2003
IEEE
98views Biometrics» more  HICSS 2003»
15 years 9 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
156
Voted
CVPR
2009
IEEE
16 years 10 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
125
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 8 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...
129
Voted
ICESS
2004
Springer
15 years 9 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 5 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...