We prove that every disjoint NP-pair is polynomial-time, many-one equivalent to the canonical disjoint NP-pair of some propositional proof system. Therefore, the degree structure ...
A software component graph, where a node represents a component and an edge represents a use-relation between components, is widely used for analysis methods of software engineeri...
In this paper, a modified fuzzy system modelling algorithm that incorporates Type 2 fuzzy sets, which is based on intervalvalued membership degrees rather than singleton membershi...
Abstract. To use a projector anytime anywhere, a lot of projectorcamera based approaches have been proposed. In this paper, we focus on a focal correction technique, one of project...
— Spatially multiplexed multi-carrier code division multiplexing (SM-MC-CDM) communications with turbo coding is considered over correlated and uncorrelated multiple input multip...