In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
Alberto Bemporad, Fabio Danilo Torrisi, Manfred Mo...
Organizations are increasingly using cross-functional project teams to increase flexibility. The belief is that individuals will be able to share and combine their different knowl...
Sue Newell, Susan Adams, Marcy Crary, Priscilla Gl...
In this paper we extend the notion of multi-unit combinatorial reverse auction by adding a new dimension to the goods at auction. In such a new type of combinatorial auction a buye...
Background: Structural genomics initiatives were established with the aim of solving protein structures on a large-scale. For many initiatives, such as the Protein Structure Initi...
Russell L. Marsden, Tony A. Lewis, Christine A. Or...
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...