9382 search results - page 1753 / 1877 » A Functional Model for Data Analysis |
163
click to vote
CCS
2010
ACM
15 years 1 months ago
2010
ACM
Cryptographic systems and protocols are the core of many Internet security procedures (such as SSL, SSH, IPSEC, DNSSEC, secure mail, etc.). At the heart of all cryptographic funct...
123
click to vote
IJMMS
2011
14 years 11 months ago
2011
The law of path steering, as proposed by Accot and Zhai, describes a quantitative relationship between human temporal performance and the path’s spatial characteristics. The ste...
170
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Intrinsically disordered proteins play important roles in various cellular activities and their prevalence was implicated in a number of human diseases. The knowledge ...
158
click to vote
CHI
2011
ACM
14 years 8 months ago
2011
ACM
In this paper, we propose a system for helping users to judge the credibility of Web search results and to search for credible Web pages. Conventional Web search engines present o...
148
click to vote
POPL
2012
ACM
13 years 12 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...