3208 search results - page 529 / 642 » A Lower Bound for Primality |
163
Voted
AIML
2006
15 years 7 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
126
click to vote
AIPS
2006
15 years 7 months ago
2006
Policy Reuse is a method to improve reinforcement learning with the ability to solve multiple tasks by building upon past problem solving experience, as accumulated in a Policy Li...
165
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guarante...
188
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. Similarity search in large multimedia databases requires efficient query processing based on suitable similarity models. Similarity models consist of a feature extraction...
137
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents the optimal compression for sequences with undefined values. Let we have (N -m) undefined and m defined positions in the boolean sequence V of length N. The se...