16190 search results - page 282 / 3238 » Applicative programming with effects |
284
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
With the amount of available text data in relational databases growing rapidly, the need for ordinary users to search such information is dramatically increasing. Even though the ...
127
click to vote
CSFW
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the first type and effect system for proving authenticity properties of security protocols based on asymmetric cryptography. The most significant new features of our ...
129
click to vote
APGV
2009
ACM
15 years 8 months ago
2009
ACM
We conducted two experiments to investigate effects of scale changes on distance perception in virtual environments. In both experiments, participants first made distance estimat...
118
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: We consider effects of dependence among variables of high-dimensional data in multiple hypothesis testing problems, in particular the False Discovery Rate (FDR) contro...
156
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Mining informative patterns from very large, dynamically changing databases poses numerous interesting challenges. Data summarizations (e.g., data bubbles) have been proposed to c...