Sciweavers

4651 search results - page 246 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
SCN
2011
Springer
292views Communications» more  SCN 2011»
14 years 10 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
TIP
2010
141views more  TIP 2010»
14 years 10 months ago
Efficient Particle Filtering via Sparse Kernel Density Estimation
Particle filters (PFs) are Bayesian filters capable of modeling nonlinear, non-Gaussian, and nonstationary dynamical systems. Recent research in PFs has investigated ways to approp...
Amit Banerjee, Philippe Burlina
ICSM
2003
IEEE
15 years 8 months ago
Software Systems Integration and Architectural Analysis - A Case Study
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
Rikard Land, Ivica Crnkovic
IJCNN
2006
IEEE
15 years 9 months ago
Small-catchment flood forecasting and drainage network extraction using computational intelligence
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
Erika Coppola, Barbara Tomassetti, Marco Verdecchi...
MICCAI
2009
Springer
16 years 4 months ago
A Fuzzy Region-Based Hidden Markov Model for Partial-Volume Classification in Brain MRI
We present a novel fuzzy region-based hidden Markov model (frbHMM) for unsupervised partial-volume classification in brain magnetic resonance images (MRIs). The primary contributio...
Albert Huang, Rafeef Abugharbieh, Roger Tam