Sciweavers

1477 search results - page 200 / 296
» Cache Satellite Distribution Systems: Modeling and Analysis
Sort
View
SIGIR
2002
ACM
15 years 6 months ago
Collaborative filtering with privacy via factor analysis
Collaborative filtering (CF) is valuable in e-commerce, and for direct recommendations for music, movies, news etc. But today's systems have several disadvantages, including ...
John F. Canny
SIGMOD
2012
ACM
220views Database» more  SIGMOD 2012»
13 years 9 months ago
GUPT: privacy preserving data analysis made easy
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
Prashanth Mohan, Abhradeep Thakurta, Elaine Shi, D...
POPL
2012
ACM
14 years 2 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
15 years 10 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
156
Voted
ICRA
2000
IEEE
106views Robotics» more  ICRA 2000»
15 years 11 months ago
The Kinematics for Redundantly Actuated Omni-Directional Mobile Robots
s Omni-directional mobile robots have been popularly employed in several application areas. However, the kinematics for these systems have not been clearly identified, specially fo...
Byung-Ju Yi, Whee Kuk Kim