5138 search results - page 910 / 1028 » Randomized Algorithms for 3-SAT |
106
click to vote
AAAI
2006
15 years 3 months ago
2006
In this paper, we will deal with some important kinds of metric temporal reasoning problems that arise in many real-life situations. In particular, events X0, X1 . . . XN are mode...
CCCG
2004
15 years 3 months ago
2004
We study the problem of computing the set of all distant horizons of a terrain, represented as either: the set of all edges that appear in the set of all distant horizons; the con...
115
click to vote
ICAD
2004
15 years 3 months ago
2004
This paper discusses the responsive sound installation Reeds. The Melbourne International Festival of the Arts commissioned the Reeds project in 2000, for exhibition on the Orname...
123
click to vote
ECIR
2003
Springer
15 years 3 months ago
2003
Springer
In order to reduce human efforts, there has been increasing interest in applying active learning for training text classifiers. This paper describes a straightforward active learni...
135
click to vote
PRIS
2004
15 years 3 months ago
2004
Similarity search in time series databases is an important research direction. Several methods have been proposed in order to provide algorithms for efficient query processing in t...