Sciweavers

15644 search results - page 365 / 3129
» Brittle System Analysis
Sort
View
EMSOFT
2008
Springer
15 years 8 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...
PAMI
2006
137views more  PAMI 2006»
15 years 6 months ago
Meticulously Detailed Eye Region Model and Its Application to Analysis of Facial Images
We propose a system that is capable of detailed analysis of eye region images in terms of the position of the iris, degree of eyelid opening, and the shape, complexity, and texture...
Tsuyoshi Moriyama, Takeo Kanade, Jing Xiao, Jeffre...
VC
2010
165views more  VC 2010»
15 years 5 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
CDC
2009
IEEE
110views Control Systems» more  CDC 2009»
15 years 4 months ago
Perturbation analysis and optimization of multiclass multiobjective Stochastic Flow Models
Stochastic Flow Models (SFMs) are stochastic ystems that abstract the dynamics of complex discrete event systems involving the control of sharable resources. SFMs have been used to...
Chen Yao, Christos G. Cassandras
FAC
2010
140views more  FAC 2010»
15 years 4 months ago
From a domain analysis to the specification and detection of code and design smells
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
Naouel Moha, Yann-Gaël Guéhéneu...