Sciweavers

2094 search results - page 319 / 419
» A Bayesian Approach for User Modeling in Dialogue Systems
Sort
View
FAC
2007
128views more  FAC 2007»
15 years 4 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
148
Voted
ICC
2009
IEEE
15 years 2 months ago
The Multicell Processing Capacity of the Cellular MIMO Uplink Channel under Correlated Fading
In the information-theoretic literature, it has been widely shown that multicell processing is able to provide high capacity gains in the context of cellular systems and that the p...
Symeon Chatzinotas, Muhammad Ali Imran, Reza Hoshy...
PET
2010
Springer
15 years 8 months ago
Making a Nymbler Nymble Using VERBS
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...
Ryan Henry, Kevin Henry, Ian Goldberg
LOCA
2009
Springer
15 years 11 months ago
Location Diversity: Enhanced Privacy Protection in Location Based Services
Abstract. Location-based Services are emerging as popular applications in pervasive computing. Spatial k-anonymity is used in Locationbased Services to protect privacy, by hiding t...
Mingqiang Xue, Panos Kalnis, Hung Keng Pung
ICEIS
2008
IEEE
15 years 11 months ago
Tool Support for the Integration of Light-Weight Ontologies
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
Thomas Heer, Daniel Retkowitz, Bodo Kraft