This paper investigates the implications of normaland extensive-form quantal response equilibrium (QRE) models (McKelvey and Palfrey, 1995, Games and Economic Behavior; 1998, Experimental Economics) in the ultimatum bargaining game, assuming that players maximize expected monetary payo ̄ s. It is shown that normal-form QRE can select a non-sequential equilibrium, and that the selection depends c...

The notable increase in petroleum demand, together with a decline discovery rates, has highlighted the desire for efficient production of existing oil wells worldwide. Mainly, productivity large fields makes us consider principles managing reservoirs to make most extraction. At same time, many different uncertainties course developing field, including geological, operational, and economic uncer...

There has been much work concentrated on creating accurate shot boundary detection algorithms in recent years. However a truly accurate method of cut detection still eludes researchers in general. In this work we present a scheme based on stable feature tracking for inter frame differencing. Furthermore, we present a method to stabilize the differences and automatically detect a global threshol...

With the advent of native and XML enabled database systems, techniques for efficiently storing, indexing and querying large collections of XML documents have become an important research topic. This paper presents the storage, indexing and query processing architecture of eXist, an Open Source native XML database system. eXist is tightly integrated with existing tools and covers most of the nat...

Compression of databases not only achieves a reduction in storage space but can reduce overall retrieval times. Current schemes such as gzip and compress are impractical for the purposes of databases as they do not allow individual records to be retrieved. A recent compression scheme, sequitur, allows quick decompression of any individual section of the database, however it uses extravagant amo...

A pattern-based approach to the presentation, codi cation and reuse of property speci cations for nite-state veri cation was proposed by Dwyer and his colleagues in [4,3]. The patterns enable nonexperts to read and write formal speci cations for realistic systems and facilitate easy conversion of speci cations between formalisms, such as LTL, CTL, QRE. In this paper we extend the pattern system...

Supporting mobility is one the major challenges in wireless networks. To support mobility in any wireless network, the application of an efficient handover control scheme is crucial. In hard handover scenarios in mobile WiMAX networks, a Mobile Station (MS) may experience handover disruptions and handover delays during transmission which could result in connection drops and waste of resources. ...