Sciweavers

443 search results - page 44 / 89
» Automatic generation of bus functional models from transacti...
Sort
View
ISOLA
2010
Springer
13 years 9 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr...
CVPR
2007
IEEE
15 years 27 days ago
Detailed Human Shape and Pose from Images
Much of the research on video-based human motion capture assumes the body shape is known a priori and is represented coarsely (e.g. using cylinders or superquadrics to model limbs...
Alexandru O. Balan, Leonid Sigal, Michael J. Black...
FMICS
2010
Springer
13 years 12 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
DCOSS
2011
Springer
12 years 10 months ago
Compiling business process models for sensor networks
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...
Alexandra Caracas, Alexander Bernauer
ICASSP
2011
IEEE
13 years 2 months ago
Pronunciation variation modeling of non-native proper names by discriminative tree search
In this paper, the task of selecting the optimal subset of pronunciation variants from a set of automatically generated candidates is recast as a tree search problem. In this appr...
Line Adde, Torbjørn Svendsen