Sciweavers

760 search results - page 84 / 152
» Recommendation Systems: A Probabilistic Analysis
Sort
View
ENTCS
2006
99views more  ENTCS 2006»
14 years 11 months ago
Metrics for Action-labelled Quantitative Transition Systems
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun...
TCS
2002
14 years 11 months ago
Automatic verification of real-time systems with discrete probability distributions
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ACSAC
2004
IEEE
15 years 3 months ago
Designing Good Deceptions in Defense of Information Systems
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
Neil C. Rowe
CDC
2010
IEEE
272views Control Systems» more  CDC 2010»
14 years 6 months ago
Node capture attacks in wireless sensor networks: A system theoretic approach
In this paper we address the problem of physical node capture attacks in wireless sensor networks and provide a control theoretic framework to model physical node capture, cloned n...
Tamara Bonaci, Linda Bushnell, Radha Poovendran
IEEEICCI
2003
IEEE
15 years 5 months ago
Signal Classification through Multifractal Analysis and Complex Domain Neural Networks
This paper describes a system capable of classifying stochastic, self-affine, nonstationary signals produced by nonlinear systems. The classification and analysis of these signals...
Witold Kinsner, V. Cheung, K. Cannons, J. Pear, T....