116 search results - page 9 / 24 » Composition and Decomposition in True-Concurrency |
FMSD
2008
13 years 7 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
PR
2008
13 years 7 months ago
2008
Face Representation (FR) plays a typically important role in face recognition and methods such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) have be...
ICWS
2003
IEEE
13 years 9 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
CLUSTER
2007
IEEE
13 years 7 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
PR
2008
13 years 7 months ago
2008
This paper presents a new study on a method of designing a multi-class classifier: Data-driven Error Correcting Output Coding (DECOC). DECOC is based on the principle of Error Cor...