4346 search results - page 70 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
104
click to vote
JLP
2006
15 years 3 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
105
Voted
SCS
2004
15 years 4 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
118
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
We investigate dynamical models of human motion that can
support both synthesis and analysis tasks. Unlike coarser
discriminative models that work well when action classes are ...
119
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper we investigate the use of formant and antiformant measurements of nasal consonants for speaker verification. The features are obtained using a pole-zero vocal tract...
143
Voted
MOBISYS
2011
ACM
14 years 6 months ago
2011
ACM
Forming secure associations between wireless devices that do not share a prior trust relationship is an important problem. This paper presents ProxiMate, a system that allows wire...