Sciweavers

658 search results - page 53 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
14 years 3 months ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
ICASSP
2010
IEEE
13 years 9 months ago
Visual emotion recognition using compact facial representations and viseme information
Emotion expression is an essential part of human interaction. Rich emotional information is conveyed through the human face. In this study, we analyze detailed motion-captured fac...
Angeliki Metallinou, Carlos Busso, Sungbok Lee, Sh...
AOSE
2005
Springer
14 years 2 months ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
DAC
2004
ACM
14 years 9 months ago
STAC: statistical timing analysis with correlation
Current technology trends have led to the growing impact of both inter-die and intra-die process variations on circuit performance. While it is imperative to model parameter varia...
Jiayong Le, Xin Li, Lawrence T. Pileggi
ICPR
2010
IEEE
14 years 1 months ago
Symbol Classification Using Dynamic Aligned Shape Descriptor
Shape representation is a difficult task because of several symbol distortions, such as occlusions, elastic deformations, gaps or noise. In this paper, we propose a new descriptor ...
Alicia Fornés, Sergio Escalera, Josep Llados, Ern...