The conceptual design determines the success of the final product quality and competition of market. The determination of design parameters and the effective method to resolve parameters contradiction are the key to success. In this paper, the concept of HOQ products designed to determine the parameters, then using the TRIZ contradiction matrix and inventive principles of design parameters to s...

Inclusion-exclusion is an effective method for computing the volume of a union of measurable sets. We extend it to multiple coverings, proving short inclusion-exclusion formulas for the subset of R covered by at least k balls in a finite set. We implement two of the formulas in dimension n = 3 and report on results obtained with our software.

We describe a sentence-level opinion detection system. We first define what an opinion means in our research and introduce an effective method for obtaining opinion-bearing and nonopinion-bearing words. Then we describe recognizing opinion-bearing sentences using these words We test the system on 3 different test sets: MPQA data, an internal corpus, and the TREC2003 Novelty track data. We show ...

In this paper, we develop an effective method of detecting and tracking hands in uncontrolled videos based on multiple cues including hand shape, skin color, upper body position and flow information. We apply our hand detection results to perform fine-grained human action recognition. We demonstrate that motion features extracted from hand areas can help classify actions even when they look fam...

preferred drug therapies were used, The dosage as well as the duration of administration were quite variable. Although the therapeutic data from these cases were difficult and awkward to analyze and evaluate by well standardized criteria, they appeared at least to permit us to obtain a rough estimate of the duration of treatment required for disappearance or eradication of the infecting organis...

This paper compares the effectiveness and efficiency of generating test requirements for testing fail-safe behavior with simulation experiments and case studies. The strategies to generate test requirements include genetic algorithm (GA) and coverage criteria for failure scenarios. The underlying testing method is based on a behavioral model and its test suite. The results show that test requir...

In recent years, many security threats have entered into the organizations’ information and changed the  organizational performance resulting in their exorbitant costs. This question is of particular importanceabout government agencies that use information and Internet systems. This issue enabled the top managers of organizations to implement a security system and minimize these costs. Using In...

This paper presents an effective method for computing Standard bases for the local ring of an algebroid branch and for its module of Kähler differentials. This allows us to determine the semigroup of values of the ring and the values of its Kähler differentials, which in the case of complex analytic branches are, respectively, important topological and analytical invariants. c © 2006 Elsevier L...

In this paper we investigate the effective content of the structure theorem for the space E ′ of distributions with compact support. We show that each of the four characterisations of the space of distributions with compact support given in the structure theorem (below) gives rise to an effective domain representation of E ′. To show that the structure theorem has effective content, we study th...