We present a simple formulation of Assumption-Commitment reasoning using CSP. In our formulation, an assumption-commitment style property of a process SYS takes the form COM SYS A...
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
With the increasing complexity of real-time control systems, it is important to have sufficient predictability support for a development approach in order to promote the likelihoo...
This paper considers the problem of finding sparse solutions from multiple measurement vectors (MMVs) with joint sparsity. The solutions share the same sparsity structure, and th...
This paper presents a supervised approach for relation extraction. We apply Support Vector Machines to detect and classify the relations in Automatic Content Extraction (ACE) corpu...