The paper introduces the book crossing number problem which can be viewed as a variant of the well-known plane and surface crossing number problem or as a generalization of the book embedding problem. The book crossin...
详细信息
We give a survey of recent techniques for deriving lower bounds and algorithms for constructing upper bounds for several variations of the crossing number problem. Our aim is to emphasize the more general resuits or t...
详细信息
This is a position paper giving our views on the uses and makeup of module interfaces. The position espoused is inspired by our work on the Extended ML (EML) formal software development framework and by ideas in the a...
详细信息
ISBN:
(纸本)9781450333207
This is a position paper giving our views on the uses and makeup of module interfaces. The position espoused is inspired by our work on the Extended ML (EML) formal software development framework and by ideas in the algebraic foundations of specification and formal development. The present state of interfaces in EML is outlined and set in the context of plans for a more general EML-like framework with axioms in interfaces taken from an arbitrary logical system formulated as an institution. Some more speculative plans are sketched concerning the simultaneous use of multiple institutions in specification and development.
We give drawings of the complete graph on orientable and nonorientable surfaces of genus gand improve the best known upper bounds on the crossing number of a complete graph on these surfaces by a factor O(log g). Moro...
详细信息
The purpose of this paper is to present a continuous time identification method which can be used for high accuracy prediction and control. We consider continuous time systems with quasi-periodic inputs and white obse...
详细信息
The purpose of this paper is to present a continuous time identification method which can be used for high accuracy prediction and control. We consider continuous time systems with quasi-periodic inputs and white observation noise. These investigations have been motivated by control problems in microrobotics, where sampling rate and accuracy requirements are very high. It is shown that continuous time identification methods lead to numerically well conditioned prediction. The key tool in showing this is a general result of the theory of stochastic complexity. Also, we give an explanation on why discrete time methods break down.
A systolic array for inverting an n × n matrix using a Monte Carlo method is proposed. The basic array computes a single row of the inverse in 3n + N +T steps (including input and output time) and O(nNT) cells wh...
详细信息
A comparative experimental study of several modifications for Block Truncation Coding (BTC) method of gray scale image compression is presented. Two aspects of image processing are considered: blocking and quantizatio...
详细信息
A parallel structure of an adaptive algorithm for delecting a coherent pulse packet in the Gaussian narrowband noise background is discussed. In synthesis of the considered pulse packet detectors a vector model of inp...
详细信息
暂无评论