455 search results - page 27 / 91 » Structure Theorems for Systems of Segments |
MVA
1992
13 years 10 months ago
1992
This paper proposes a parallel schemelalgorithm which is based on statistical analyses to fulfilthe robust segmentation of nature texture image. The whole scheme is constructed as...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Input multiplicative and output inverse multiplicative uncertainty characterisations are common in the robust control literature. We present specialised distance measures...
LPAR
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...