4403 search results - page 353 / 881 » Galois Theory of Algorithms |
162
click to vote
ICSE
1994
IEEE-ACM
15 years 11 months ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
148
click to vote
ISTCS
1993
Springer
15 years 11 months ago
1993
Springer
The design of fiducials for precise image registration is of major practical importance in computer vision, especially in automatic inspection applications. We analyze the subpix...
144
click to vote
CTCS
1989
Springer
15 years 11 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...
168
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
159
click to vote
DAGM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The Gaussian scale-space is a standard tool in image analysis. While continuous in theory, it is generally realized with fixed regular grids in practice. This prevents th...