Efficient evaluation of similarity queries is one of the basic requirements for advanced multimedia applications. In this paper, we consider the relevant case where complex similarity queries are defined through a generic language L and whose predicates refer to a single feature F . Contrary to the language level which deals only with similarity scores, the proposed evaluation process is based ...

CONTENTS 1. Introduction 2. Aim of the review 3. What are adventure games? 4. History and classification of adventure games 5. Adventure games today 6. Games as a form of literacy 7. Embedding elements of storytelling within games 8. Games for learning 9. Summary and main conclusions 10. Points to consider when designing game authoring tools for the development of storytelling 11. Glossary of k...

The notion of a strongly determined type over A extending p is introduced , where p 2 S(A). A strongly determined extension of p over A assigns, for any model M A, a type q 2 S(M) extending p such that, if c realises q, then any elementary partial map M ! M which xes acl eq (A) pointwise is elementary over c. Examples are provided of many theories with strongly determined types, and some withou...

A re we alone in the universe? How can we find out? What would happen if we made contact with extraterrestrial life forms, intelligent or otherwise? These questions have fascinated humans ever since we understood that there is a universe beyond our pale blue dot. As the British physicist and author Arthur C Clarke put it: “Two possibilities exist: either we are alone in the universe or we are n...

We introduce a sealed bid auction of a single item in which the winner is chosen at random among the highest k bidders according to a fixed probability distribution, and the price for the chosen winner is the Vickrey-Clarke-Groves price. We call such an auction a cascade auction. Our analysis suggests that this type of auction may give higher revenues compared to second price auction in cases o...

This paper uses the Clarke mechanism to construct an incentive compatible tâtonnement process which converges to the Lindahl allocation of a public good economy. We show truth telling is an equilibrium in the infinite horizon game induced by the tâtonnement. JEL Codes: C72, D44, H41

,. Department of Health and Human Services i PI: KELLER, EDWARD L ">unc,i: u ,/*iu° j +gmM '" '"" ' "" ill! ni 1 2 R01 EY006860-21 10044723 ion JUL01 2 Duai 0, .. jettons indicated. ; IRQ: CVP Received: 07/01/2005 1 . TITLE OF PROJECT (Do not exceed 81 characters, including spaces i Studies of the Oculomotor Systems 2. RESPONSE TO SPECIFIC REQUEST FOR APPLICATIONS OR PROGRAM ANNOUNCEMENT OR SOL...

For a cardinal κ and a model M of cardinality κ let No(M) denote the number of non-isomorphic models of cardinality κ which are L∞,κequivalent to M . We prove that for κ a weakly compact cardinal, the question of the possible values of No(M) for models M of cardinality κ is equivalent to the question of the possible numbers of equivalence classes of equivalence relations which are Σ1-definable ...

Certain basic concepts of geometrical stability theory are generalized to a class of closure operators containing algebraic closure. A specific case of a generalized closure operator is developed which is relevant to Vaught’s conjecture. As an application of the methods, we prove Theorem A. Let G be a superstable group of U− rank ω such that the generics of G are locally modular and Th(G) has f...