In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current-generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symboli...

The design of neural networks that are able to efficiently encode and detect conjunctions of features is an important open challenge that is also referred to as “the binding-problem”. We define a formal framework for neural nodes that process activity in the form of tuples of spike-trains which can efficiently encode and detect feature-conjunctions on a retinal input field in a position-invaria...

Users often have very specific visual content in mind that they are searching for. The most natural way to communicate this content to an image search engine is to use keywords that specify various properties or attributes of the content. A naive way of dealing with such multi-attribute queries is the following: train a classifier for each attribute independently, and then combine their scores ...

We contribute to the theory of implications and conjunctions related by adjointness, in multiple-valued logics. We suggest their use in Zadeh s compositional rule of inference, to interpret generalized modus ponens inference schemata. We provide new complete characterizations of implications that distinguish left arguments, implications that satisfy the exchange principle, divisible conjunction...

The operation of negation on combinations of natural categories was examined in two experiments. In the first, category membership ratings of lists of items were obtained for pairs of concepts considered individually and in two logical combinations: conjunctions (e.g., "Tools which are also Weapons") and negated conjunctions--forms of those conjunctions in which the modifier noun category was n...

Abstract This study analyses the role of conjunctions in clause linkage Australian languages. Conjunctions are seemingly straightforward clause-linking devices, but they remain under-studied, both for languages and from a broader typological perspective. In this study, we propose functional definition conjunctions, as set against other resources linkage. We show that captures not just prototypi...

This study aims to describe the forms of grammatical cohesion conjunctions in a short story book entitled The Bridge and Other Love Stories by Christine Lindop. focused on conjunctions, meanings, functions using Halliday's theory analyze data. approach used this was descriptive qualitative every word contained other love stories results indicate that with title are Additive, Adversative, Causal...

Title of dissertation: AGING, ILLUSORY CONJUNCTIONS, AND ATTENTION Lisa Jean Murphy, Doctor of Philosophy, 2006 Dissertation directed by: Professor Ellin K. Scholnick Department of Psychology Elderly adults do not perform as well as young adults on complex tasks. Elderly adults' poorer performance may be partly due to an age-related increase in the occurrence of illusory conjunctions. To invest...

While formal theories of language consider function words to have little semantic content, more recent theoretical work has argued that even function words have meaning. Yet, there is little experimental work on the representations underlying the meaning of function words such as conjunctions. In two offline experiments, we examined whether conjunctions (and, or, but, either...or) are associate...

This paper presents several paradigms by which users of Verity business portals (from within as well as from outside an enterprise) discover and navigate relevant semistructured data in corpora with millions of documents. These paradigms include (i) combining free-text and structured queries, (ii) automatic classification, and (iii) personalization.