3130 search results - page 556 / 626 » Design Correctness of Digital Systems |
248
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
211
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
165
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
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...
168
Voted
KDD
2012
ACM
13 years 5 months ago
2012
ACM
Heterogeneous information networks that contain multiple types of objects and links are ubiquitous in the real world, such as bibliographic networks, cyber-physical networks, and ...
137
Voted
IUI
2010
ACM
16 years 8 days ago
2010
ACM
We developed an augmented reality (AR) dental training simulator utilizing a haptic (force feedback) device. A number of dental procedures such as crown preparation and opening ac...