2434 search results - page 209 / 487 » Algorithmic Randomness of Closed Sets |
130
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
ct This paper presents an approach to exploit free text descriptions of TV programmes as available from EPG data sets for a recommendation system that takes the content of programm...
133
click to vote
CADE
2008
Springer
15 years 6 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
126
click to vote
SCANGIS
2001
15 years 5 months ago
2001
Automatic classification of relief attributes into meaningful morphological units has a great potential within the field of geomorphology. When applying common classification algor...
116
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
135
click to vote
DAM
2002
15 years 3 months ago
2002
In the strong edge coloring problem, the objective is to color the edges of the given graph with the minimum number of colors so that every color class is an induced matching. In ...