This paper presents a high precision pronoun resolution system that is capable of greater than 90% precision with 60% and better recall for some pronouns. It is suggested that the system is resolving a sub-set of anaphors that do not require general world knowledge or sophisticated linguistic processing for successful resolution. The system does this by being very sensitive to ambiguity, and on...

Reconciliation is a method which supports the detection and verification of overlaps and the resolution of certain forms of inconsistencies between requirements specifications expressed in an object-oriented framework. The method identifies a set of candidate overlaps between two specifications by analysing their similarity. These overlaps are assessed by the authors of the specifications. If t...

Cross-impact analysis is a method for revising estimated probabilities of future events in terms of estimated interactions among those events. This Report presents an elementary cross-impact model where the cross-impacts are formulated as relative probabilities. Conditions are derived for the consistency of the matrix of relative probabilities of n events. An extension also provides a necessary...

The prefrontal cortex (PFC) is known to be critically involved in strategy switching, attentional set shifting, and inhibition of prepotent responses. A central feature of this kind of behavioral flexibility is the ability to resolve conflicting response tendencies, suggesting a general role of the PFC in resolving interference. If so, the PFC should also be involved in memory retrieval, which ...

Social innovation has been contextualized as a new way of resolving deeply entrenched development issues. The identification and resolution of social needs is said to be the driving force of social innovation. With features such as sustainability and scalability, social innovation has the potential to change the way we perceive and engage with development in the future. This research takes a cr...

This paper presents a high precision pronoun resolution system that is capable of greater than 90% precision with 60% and better recall for some pronouns. It is suggested that the system is resolving a sub-set of anaphors that do not require general world knowledge for successful resolution. The system does this by being very sensitive to ambiguity, and only resolving pronouns when very high co...

Let G be a connected graph. A vertex w strongly resolves a pair u, v of vertices of G if there exists some shortest u− w path containing v or some shortest v − w path containing u. A set W of vertices is a strong resolving set for G if every pair of vertices of G is strongly resolved by some vertex of W . The smallest cardinality of a strong resolving set for G is called the strong metric dimen...

For an ordered set W = {w1, w2, . . . , wk} of vertices and a vertex v in a connected graph G, the (metric) representation of v with respect to W is the k-vector r(v|W ) = (d(v,w1), d(v, w2), . . . , d(v, wk)), where d(x, y) represents the distance between the vertices x and y. The setW is a resolving set for G if distinct vertices of G have distinct representations. A resolving set of minimum ...

Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states reachable in the presence of faults, and, resolving deadlock states, where the program has no outgoing transitions. Although symbolic techniques can improve the performance of synthesis algorithms by orders of magnitude,...

The authors discuss the various approaches to resolving trade disputes available to Member Countries of the OIE (World organisation for animal health). The paper first describes the rights and obligations of Member Countries in setting health measures for the importation of animals and animal products, according to the provisions of the World Trade Organization (WTO) Agreement on the Applicatio...