Sciweavers

3765 search results - page 333 / 753
» Qualitative Action Systems
Sort
View
KAIS
2011
102views more  KAIS 2011»
15 years 2 months ago
Symbolic data analysis tools for recommendation systems
Recommendation Systems have become an important tool to cope with the information overload problem by acquiring data about the user behavior. After tracing the user behavior, throu...
Byron Leite Dantas Bezerra, Francisco de Assis Ten...
INFOCOM
2011
IEEE
14 years 11 months ago
The digital rights management game in peer-to-peer streaming systems
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
Jin Zhang, Wei Lou
187
Voted
ICML
2006
IEEE
16 years 8 months ago
Predictive linear-Gaussian models of controlled stochastic dynamical systems
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...
Matthew R. Rudary, Satinder P. Singh
200
Voted
DASFAA
2010
IEEE
294views Database» more  DASFAA 2010»
16 years 2 months ago
A Shoes-Integrated Sensing System for Context-Aware Human Probes
Human Probes, which are human integrated or embedded with sensors, allow the acquisition of a variety of contextual information, facilitate collaborative information sharing and co...
Kazumasa Oshima, Yasuyuki Ishida, Shin'ichi Konomi...
201
Voted
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
16 years 2 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...