8917 search results - page 153 / 1784 » Abstraction in Algorithm Animation |
106
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...
97
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability)...
136
Voted
JGAA
2007
15 years 2 months ago
2007
Abstract. Two-player win-lose games have a simple directed graph representation. Exploiting this, we develop graph theoretic techniques for finding Nash equilibria in such games. ...
124
Voted
SIAMJO
2000
15 years 2 months ago
2000
Abstract. We propose a BFGS primal-dual interior point method for minimizing a convex function on a convex set defined by equality and inequality constraints. The algorithm generat...
134
Voted
SOFTWARE
2002
15 years 2 months ago
2002
Abstract. This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm c...