Recently Cristian S. Calude, Sanjay Jain, Bakhadyr Khoussainov, Wei Li and Frank Stephan proposed a quasi-polynomial time algorithm for parity games [1]. This paper proposes a short proof of correctness of their algorithm.

Future telecommunications networks will consist of integrated packet-switched (IP and/or ATM), circuitswitched (PSTN) and wireless networks. Service providers will offer a wide portfolio of innovative applications over these integrated networks. Doing so rapidly and efficiently requires open network APIs, with a key API being that for call control as well as coordination and transactions. The J...

Inspired by the convex program of Eisenberg and Gale which captures Fisher markets with linear utilities, Jain and Vazirani [STOC, 2007] introduced the class of EisenbergGale (EG) markets. We study the structure of EG(2) markets, the class of EisenbergGale markets with two agents. We prove that all markets in this class are rational, that is, they have rational equilibrium, and they admit stron...

So far we have discussed the case of interactive zero-knowledge proofs. But what if Alice has the resource to send only a single message to Bob? This proof will now become “non-interactive”. But 1-message zero-knowledge is only possible for languages in BPP. This is because any simulator that can simulate the “single” message can use this as a witness for x. But this is pretty useless, at the v...

The next generation of scripting languages for creating value-added services in converged networks will be based upon XML. Industry fora like Parlay, JAIN and OSA have developed open standard Application Programming Interfaces (APIs) to enable service creation in converged Next Generation Networks (NGN). While services can be developed in traditional programming languages (e.g. Java or C++) usi...

| This paper presents a methodology for evaluation of low-level image analysis methods, using binariza-tion (two-level thresholding) as an example. Binarization of scanned gray scale images is the rst step in most document image analysis systems. Selection of an appropriate binarization method for an input image domain is a diicult problem. Typically, a human expert evaluates the binarized imag...