9176 search results - page 1464 / 1836 » algorithms 2010 |
187
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
183
click to vote
DAS
2010
Springer
15 years 10 months ago
2010
Springer
We consider the problem of dealing with irrelevant votes when a multi-case classifier is built from an ensemble of binary classifiers. We show how run-off elections can be used to...
184
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
174
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
Probabilistic top-k ranking queries have been extensively studied due to the fact that data obtained can be uncertain in many real applications. A probabilistic top-k ranking quer...
183
click to vote
EWSN
2010
Springer
15 years 10 months ago
2010
Springer
On a common sensor node platform (Telos) we sample RSSI with high frequency during packet reception. We find that a packet collision (RF interference) often manifests as a measurab...