Sciweavers

4451 search results - page 412 / 891
» Continuous model synthesis
Sort
View
APSEC
2005
IEEE
16 years 14 days ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
AMDO
2006
Springer
15 years 10 months ago
Carrying Object Detection Using Pose Preserving Dynamic Shape Models
In this paper, we introduce a framework for carrying object detection in different people from different views using pose preserving dynamic shape models. We model dynamic shape de...
Chan-Su Lee, Ahmed M. Elgammal
HYBRID
2000
Springer
15 years 10 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas
CAISE
2008
Springer
15 years 8 months ago
Refactoring Process Models in Large Process Repositories
With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the re...
Barbara Weber, Manfred Reichert
BC
2007
62views more  BC 2007»
15 years 7 months ago
A quantitative synchronization model for smooth pursuit target tracking
We propose a quantitative model for human smooth pursuit tracking of a continuously moving visual target which is based on synchronization of an internal expectancy model of the ta...
Henning U. Voss, Bruce D. McCandliss, Jamshid Ghaj...