The purpose of this study is to test the feasibility of applying an interpretive structural modeling (ISM) method for case hosts to develop verity design solution of case host preference-based products. In the early design concept stage of the product development, designers often need to create many ideas as the case of products for the main idea of what case the host wants. Hence, a conversion...

In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than a web-based testing system. This represents a new approach to web-based instruction. Specifically, the purpose of the Verity software tool is twofold: first, to assist the students in their study by providing supportin...

Extant and fossil genera and species in the Libytheinae (Nymphalidae) are revised and reviewed. The Libytheinae includes two genera: Libythea Fabricius and Libytheana Michener. Fifteen species and an additional 24 subspecies are recognized and 41 names are synonymized. Species recognized are: Libythea celtis (Laicharting), L. collenettei Riley, L. cinyras Trimen revised status, L. geoffroyi God...

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...

of time the influence of matter on life and mind will gradually become obliterated and replaced by the influence of mind and its transcendent successors in the great steps of creative evolution." Therefore, "the remote successors of man may be free and independent of matter with infinite possibilities of future progress notwithstanding the complete dissolution of the universe." Pure thought, th...

of time the influence of matter on life and mind will gradually become obliterated and replaced by the influence of mind and its transcendent successors in the great steps of creative evolution." Therefore, "the remote successors of man may be free and independent of matter with infinite possibilities of future progress notwithstanding the complete dissolution of the universe." Pure thought, th...

User modeling is the key element in assisting intelligence analysts to meet the challenge of gathering relevant information from the massive amounts of available data. We have developed a dynamic user model to predict the analyst’s intent and help the information retrieval application better serve the analyst’s information needs. In order to justify the effectiveness of our user modeling approa...

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.

We introduce the notion of relative trace which is motivated by an observation about the category of vector spaces and linear transformations and builds upon the categorical trace of Joyal, Street, and Verity. Furthermore, we define a new categorical trace based on a trace formula first introduced by J. Bernstein.