Sciweavers

MFCS
2000
Springer
14 years 3 months ago
On the Use of Duality and Geometry in Layouts for ATM Networks
Abstract. We show how duality properties and geometric considerations are used in studies related to virtual path layouts of ATM networks. We concentrate on the one-to-many problem...
Shmuel Zaks
MFCS
2000
Springer
14 years 3 months ago
Bilinear Functions and Trees over the (max, +) Semiring
Abstract. We consider the iterates of bilinear functions over the semiring (max, +). Equivalently, our object of study can be viewed as recognizable tree series over the semiring (...
Sabrina Mantaci, Vincent D. Blondel, Jean Mairesse
MFCS
2000
Springer
14 years 3 months ago
0-1 Laws for Fragments of Existential Second-Order Logic: A Survey
The probability of a property on the collection of all finite relational structures is the limit as
Phokion G. Kolaitis, Moshe Y. Vardi
MFCS
2000
Springer
14 years 3 months ago
Matching Modulo Associativity and Idempotency Is NP-Complete
We show that AI
Ondrej Klíma, Jirí Srba
MFCS
2000
Springer
14 years 3 months ago
Regular Collections of Message Sequence Charts
Jesper G. Henriksen, Madhavan Mukund, K. Narayan K...
MFCS
2000
Springer
14 years 3 months ago
Explicit Fusions
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...
Philippa Gardner, Lucian Wischik
MFCS
2000
Springer
14 years 3 months ago
On the Autoreducibility of Random Sequences
Abstract. A binary sequence A = A(0)A(1) . . . is called infinitely often (i.o.) Turing-autoreducible if A is reducible to itself via an oracle Turing machine that never queries it...
Todd Ebert, Heribert Vollmer
MFCS
2000
Springer
14 years 3 months ago
Optical Routing of Uniform Instances in Tori
Francesc Comellas, Margarida Mitjana, Lata Narayan...