Sciweavers

6059 search results - page 38 / 1212
» A Technique for Verifying Measurements
Sort
View
WWW
2009
ACM
15 years 10 months ago
What's up CAPTCHA?: a CAPTCHA based on image orientation
We present a new CAPTCHA which is based on identifying an image's upright orientation. This task requires analysis of the often complex contents of an image, a task which hum...
Rich Gossweiler, Maryam Kamvar, Shumeet Baluja
ACSAC
2010
IEEE
14 years 8 months ago
Quantifying information leaks in software
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
Jonathan Heusser, Pasquale Malacaria
RECOMB
2007
Springer
15 years 10 months ago
A Bayesian Model That Links Microarray mRNA Measurements to Mass Spectrometry Protein Measurements
Abstract. An important problem in biology is to understand correspondences between mRNA microarray levels and mass spectrometry peptide counts. Recently, a compendium of mRNA expre...
Anitha Kannan, Andrew Emili, Brendan J. Frey
AVI
1998
14 years 11 months ago
Design method of interaction techniques for large information spaces
Our work focuses on the design of interaction techniques for large information spaces. Our goal is not to define yet another visualization technique but to provide insights for th...
Laurence Nigay, Frédéric Vernier
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 3 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri