This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe instances and models at multiple levels of detail and multiple levels of abstraction. The models are described using qualitative probabilities. This paper is about the problem of type uncertainty; what if we have a qualitative distribution over the ty...

Optimality Theory (OT) is a formal linguistic model in which grammars consist of a universal set of violable constraints that are ranked in a language-particular hierarchy. Lower-ranked constraints are often forcibly violated in order to improve satisfaction of higher-ranked constraints. The optimal or most harmonic pronunciation of a given word is that output candidate which best fulfills the ...

Attention gradually shifted to open market operations. With this activity the monetary authority did not have to await the initiative of the commercial banks in the creation of reserves. Through an affirmative use of open market purchases or sales, the Federal Reserve had acquired the initiative in the creation of reserves. But this did not prove to be the perfect answer. Particularly was this ...

People have been creating geometric figures with computer programs consisting of turtle commands such as forward and right since the late 1960s [1]. Here I describe a program that takes in two such programs and produces a new program capable of producing both figures and all the intermediate figures. It can produce a figure that is one third circle and two thirds triangle or one that is half st...

The preservation of your identity is a fundamental right. In many situations, you need to claim your identity and this claim needs to be verified somehow. The technology called biometrics may help. But, what if a deliberate impostor claims your identity? Will this forgery be always detected? Biometric identity verification is imperfect. This presentation will review some of the techniques that ...

For—according to the lore—any attempt at pullingoff this featwill reduce themtomaterial implicationand that is decidedlynot agoodwayof assigning truth-conditions to ordinary indicative if s. That is too bad since it seems like they are bounded from above by strict implication (they are true when their antecedents straight out imply their consequents), are bounded from below by material implicat...