4693 search results - page 242 / 939 » Verifying Hybrid Systems |
184
click to vote
ESORICS
2010
Springer
15 years 7 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
167
click to vote
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
A hybrid of two novel methods - additive fuzzy spectral clustering and lifting method over a taxonomy - is applied to analyse the research activities of a department. To be specifi...
178
click to vote
IAJIT
2010
15 years 5 months ago
2010
: A new code sign implementation of vector median rational hybrid filter based on efficient hardware/software implementation is introduced and applied to colour image filtering pro...
166
click to vote
ECOOP
2005
Springer
16 years 3 days ago
2005
Springer
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
199
click to vote
CSDA
2008
15 years 6 months ago
2008
Non-negative Matrix Factorization (NMF) and Probabilistic Latent Semantic Indexing (PLSI) have been successfully applied to document clustering recently. In this paper, we show th...