Sciweavers

2044 search results - page 109 / 409
» System theory for numerical analysis
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
VC
2010
165views more  VC 2010»
15 years 2 months ago
Generating animation from natural language texts and semantic analysis for motion search and scheduling
This paper presents an animation system that generates an animation from natural language texts such as movie scripts or stories. It also proposes a framework for a motion database...
Masaki Oshita
SSIAI
2002
IEEE
15 years 9 months ago
Spatio-Temporal Motion Segmentation via Level Set Partial Differential Equations
Motion-based segmentation of image sequences is an important problem of image analysis, with numerous applications to image coding and image manipulation. We present a novel algor...
Abdol-Reza Mansouri, Amar Mitiche, Rosario El-Fegh...
ECOOPW
1999
Springer
15 years 8 months ago
Systematic Change Impact Determination in Complex Object Database Schemata
Impact analysis is seen as an important technique for controlling the evolution of software systems. Numerous approaches have been proposed which aim to assess the impact of chang...
Simon Lock, Awais Rashid, Peter Sawyer, Gerald Kot...
ECBS
2007
IEEE
135views Hardware» more  ECBS 2007»
15 years 10 months ago
Introducing Impact Analysis for Architectural Decisions
Architectural quality constitutes a critical factor for contemporary software systems, especially because of their size and the needs for frequent, quick changes. For success-crit...
Matthias Riebisch, Sven Wohlfarth