15073 search results - page 2760 / 3015 » Probabilistic algorithms for computing resultants |
106
click to vote
OOPSLA
1997
Springer
15 years 7 months ago
1997
Springer
A type inclusion test determines whether one type is a subtype of another. Efficient type testing techniques exist for single subtyping, but not for languages with multiple subtyp...
112
Voted
VLDB
1995
ACM
15 years 7 months ago
1995
ACM
We describe SCC-kS, a Speculative Concurrency Control (SCC) algorithm that allows a DBMS to use efficiently the extra computing resources available in the system to increase the l...
141
click to vote
ICML
1994
IEEE
15 years 7 months ago
1994
IEEE
Reinforcement learning (RL) algorithms provide a sound theoretical basis for building learning control architectures for embedded agents. Unfortunately all of the theory and much ...
138
click to vote
ACNS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Statistical Saturation Attacks have been introduced and applied to the block cipher PRESENT at CT-RSA 2009. In this paper, we consider their natural extensions. First, we...
111
Voted
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...