11051 search results - page 376 / 2211 » An Investigation of Generalized Cases |
160
click to vote
WOTUG
2008
15 years 9 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...
168
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
This paper investigates simultaneous stabilization of a set of nonlinear port-controlled Hamiltonian (PCH) systems and proposes a number of results on the design of simultaneous s...
196
click to vote
DAM
2008
15 years 7 months ago
2008
We investigate the Semidefinite Programming based Sums of squares (SOS) decomposition method, designed for global optimization of polynomials, in the context of the (Maximum) Sati...
199
click to vote
ALGORITHMICA
2007
15 years 7 months ago
2007
— We present several new results pertaining to haplotyping. These results concern the combinatorial problem of reconstructing haplotypes from incomplete and/or imperfectly sequen...
201
click to vote
WIDM
2005
ACM
16 years 1 months ago
2005
ACM
In this paper we investigate the problem of XML Schema evolution. We first discuss the different kinds of changes that may be needed on an XML Schema. Then, we investigate how to...