Sciweavers

1336 search results - page 112 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
128
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 1 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
130
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Full-covariance UBM and heavy-tailed PLDA in i-vector speaker verification
In this paper, we describe recent progress in i-vector based speaker verification. The use of universal background models (UBM) with full-covariance matrices is suggested and tho...
Pavel Matejka, Ondrej Glembek, Fabio Castaldo, M. ...
ICIP
2001
IEEE
16 years 5 months ago
A face and gesture recognition system based on an active stereo sensor
The paper presents several novel 3D image analysis algorithms, applied towards the segmentation and modeling of faces and hands. These are subsequently used to build a face-based ...
Sotiris Malassiotis, Filareti Tsalakanidou, Nikola...
112
Voted
MONET
2007
98views more  MONET 2007»
15 years 3 months ago
A Markov Model for Indoor Ultra-wideband Channel with People Shadowing
Abstract For an indoor ultra-wideband (UWB) communication system, the line-of-sight (LOS) between the transmitter and receiver may be frequently blocked by moving people. Blocking ...
Ruonan Zhang, Lin Cai
114
Voted
MM
2003
ACM
124views Multimedia» more  MM 2003»
15 years 8 months ago
Experience based sampling technique for multimedia analysis
We present a novel experience based sampling or experiential sampling technique which has the ability to focus on the analysis’s task by making use of the contextual information...
Jun Wang, Mohan S. Kankanhalli