Sciweavers

3555 search results - page 163 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
FGR
2011
IEEE
340views Biometrics» more  FGR 2011»
14 years 7 months ago
Action unit detection using sparse appearance descriptors in space-time video volumes
— Recently developed appearance descriptors offer the opportunity for efficient and robust facial expression recognition. In this paper we investigate the merits of the family o...
Bihan Jiang, Michel François Valstar, Maja ...
ICASSP
2008
IEEE
15 years 10 months ago
Some results on 16-QAM MIMO detection using semidefinite relaxation
Semidefinite relaxation (SDR) is a high-performance efficient approach to MIMO detection especially for the BPSK or QPSK constellations. Recently, a number of research endeavors...
Wing-Kin Ma, Chao-Cheng Su, Joakim Jalden, Chong-Y...
AOSD
2011
ACM
14 years 11 months ago
Experiences documenting and preserving software constraints using aspects
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
Roberto Silveira Silva Filho, François Bron...
CORR
2011
Springer
227views Education» more  CORR 2011»
14 years 10 months ago
Message Structures: a modelling technique for information systems analysis and design
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
Sergio España, Arturo González, Osca...
EMSOFT
2004
Springer
15 years 9 months ago
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA)
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
Albert Benveniste, Benoît Caillaud, Luca P. ...