منابع مشابه
Reasoning About Transfinite Sequences
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals replace the standard next-time and until future-time operators. Our aim is to control such systems by designing controllers that safely work on ω-s...
متن کاملComplex Transfinite Barycentric Mappings with Similarity Kernels
Transfinite barycentric kernels are the continuous version of traditional barycentric coordinates and are used to define interpolants of values given on a smooth planar contour. When the data is two-dimensional, i.e. the boundary of a planar map, these kernels may be conveniently expressed using complex number algebra, simplifying much of the notation and results. In this paper we develop some ...
متن کاملReasoning about transfinite sequences (extended abtract)
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequences of actions and quantitative temporal operators indexed by ordinals replace the standard next-time and until future-time operators. Our aim is to control such systems by designing controllers that safely work on ω-s...
متن کاملSubspace mappings for image sequences
We consider the use of low-dimensional linear subspace models to infer one high-dimensional signal from another, for example, predicting an image sequence from a related image sequence. In the memoryless case the subspaces are found by rank-constrained division, and inference is an inexpensive sequence of projections. In the finite-memory case, the subspaces form a linear dynamical system that ...
متن کاملOn Evasiveness , Permutation Embeddings , and Mappings on Sequences
In Chapter I, several results are obtained on the evasiveness of graph-theoretic properties extending the work of Vuillemin and Rivest. In particular, it is shown that any nontrivial vertex-independent monotone graph-theoretic property has minimal evasiveness n2 /9 . Particular stronger results are obtained for n values which are powers of primes less than (<) 13 . A new result allowing interpo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky
سال: 1976
ISSN: 0528-2195
DOI: 10.21136/cpm.1976.117902