Sciweavers

1336 search results - page 139 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
ICASSP
2008
IEEE
15 years 10 months ago
Adaptive score normalization for progressive model adaptation in text independent speaker verification
This paper deals with the interaction between progressive model adaptation and score normalization strategies which are used for reducing the variation in likelihood ratio scores ...
Shou-Chun Yin, Richard Rose, Patrick Kenny
159
Voted
IFIP12
2009
15 years 1 months ago
An Expert System Based on Parametric Net to Support Motor Pump Multi-Failure Diagnostic
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
Flavia Cristina Bernardini, Ana Cristina Bicharra ...
138
Voted
IAT
2007
IEEE
15 years 10 months ago
Dynamic Data Driven Multi-Agent Simulation
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
Gary M. Pereira
171
Voted
SUM
2010
Springer
15 years 2 months ago
Event Modelling and Reasoning with Uncertain Information for Distributed Sensor Networks
CCTV and sensor based surveillance systems are part of our daily lives now in this modern society due to the advances in telecommunications technology and the demand for better sec...
Jianbing Ma, Weiru Liu, Paul Miller
128
Voted
DAGSTUHL
2006
15 years 5 months ago
A Petri Net Approach to Verify and Debug Simulation Models
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
Peter Kemper, Carsten Tepper