8917 search results - page 483 / 1784 » Abstraction in Algorithm Animation |
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The dominance relationship between two members of the family of Sugeno Weber tnorms is proven by using a quantifer elimination algorithm. Further it is shown that dominan...
179
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This article extends the idea of solving parity games by strategy iteration to non-deterministic strategies: In a non-deterministic strategy a player restricts himself to...
139
click to vote
DAM
2008
15 years 7 months ago
2008
Abstract. A graph is called equistable when there is a nonnegative weight function on its vertices such that a set S of vertices has total weight 1 if and only if S is maximal stab...
172
click to vote
IDA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We address the problem of matching imperfectly documented schemas of data streams and large databases. Instancelevel schema matching algorithms identify likely correspond...
162
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Abstract: We introduce the snowblower problem (SBP), a new optimization problem that is closely related to milling problems and to some material-handling problems. The objective in...