2206 search results - page 86 / 442 » On the power of coercion abstraction |
ICALP
2007
Springer
14 years 24 days ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
RIVF
2007
13 years 10 months ago
2007
Abstract— We propose in this paper a generalization of percolation processes in Z2 using the pretopology theory. We formalize the notion of neighborhood by extending it to the co...
CPC
2007
13 years 9 months ago
2007
Abstract. Szemer´edi’s regularity lemma for graphs has proved to be a powerful tool with many subsequent applications. The objective of this paper is to extend the techniques de...
EJC
2007
13 years 9 months ago
2007
Abstract. We extend the Cayley-Sylvester formula for symmetric powers of SL2(C)modules, to plethysms defined by rectangle partitions. Ordinary partitions are replaced by plane par...
IFL
2000
Springer
14 years 15 days ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...