This paper describes an acceptance test procedure for evaluating a spoken language translation system between Catalan and Spanish. The procedure consists of two independent tests. The first test was an utterance-oriented evaluation for determining how the use of speech benefits communication. This test allowed for comparing relative performance of the different system components, explicitly: so...

In this paper, a group acceptance sampling plan is developed for a truncated life test when the lifetime of an item follows the Marshall-Olkin extended exponential distribution. The minimum number of groups required for a given group size and the acceptance number is determined when the consumer’s risk and the test termination time are specified. The operating characteristic values, according t...

The traditional means of user authentication based on usernames and passwords is subject to a number of behavioral concerns that can significantly reduce the security provided. As such, an important part of proposing a new authentication scheme should involve careful consideration of behavioral factors. Little research has actually examined the role user acceptance plays in different authentica...

Deterministic Büchi automata (DBA) are useful to (probabilistic) model checking and synthesis. We survey techniques used to obtain and minimize DBAs for different classes of properties. We extend these techniques to support DBA that have generalized and transitionbased acceptance (DTGBA) as they can be even smaller. Our minimization technique—a reduction to a SAT problem—synthesizes a DTGBA equ...

In this paper, a hybrid group acceptance sampling plan is developed for a truncated life test when the lifetime of an item follows log-logistic distribution. The minimum number of testers and acceptance number are determined when the consumer’s risk and the test termination time and group size are specified. The operating characteristic values according to various quality levels are found and t...

Belief seems to be connected to truth and to the acceptance of the content of belief as true. If a person accepts as true that the cat is on the mat, then it might seem that he must also believe that the cat is on the mat, and conversely. However, the connections here should be investigated in terms that are more precise and should be properly argued for. This is my main aim in this paper. I wi...

We distinguish between a collective’s goal and a collective goal, concentrating on the latter. Its relations to collective intention and action are spelled out. It is shown how a given goal, when additional predicates are ascribed to it, yields collective goals of increasing complexity. Our main task is to answer the question, “What makes a goal collective?” To this end, we will deal with the n...

This paper delves into the state of the art in technology acceptance research at the individual level in Malaysia and makes suggestion into the future researches that can be undertaken to extend the frontiers of research of technology acceptance at the individual level. Several popular models used to predict technology acceptance are also discussed before exploring the myriad of research done o...