Triangulating a Nonconvex Polytope.
Triangulating a Simple Polygon in Linear Time.
Triangulating Point Sets in Space.
TTL : a formalism to describe local and global properties of distributed systems
Tubular NURB surfaces with boundary control.
Tubular splines using a higher dimensional representation.
Tuning the Zhu-Takaoka string matching algorithm and experimental results
In this paper we present experimental results for string matching algorithms which have a competitive theoretical worst case run time complexity. Of these algorithms a few are already famous for their speed in practice, such as the Boyer–Moore and its derivatives. We chose to evaluate the algorithms by counting the number of comparisons made and by timing how long they took to complete a given search. Using the experimental results we were able to introduce a new string matching algorithm and compared...
Twenty years of the Czechoslovak Academy of Sciences and the development of cybernetics
Two extensions of system F with (co)iteration and primitive (co)recursion principles
This paper presents two extensions of the second order polymorphic lambda calculus, system F, with monotone (co)inductive types supporting (co)iteration, primitive (co)recursion and inversion principles as primitives. One extension is inspired by the usual categorical approach to programming by means of initial algebras and final coalgebras; whereas the other models dialgebras, and can be seen as an extension of Hagino's categorical lambda calculus within the framework of parametric polymorphism....
Two Genetic Algorithms for the Bandwidth Multicoloring Problem
Two infinite hierarchies of languages defined by branching grammars
Two linear time algorithms for MST on minor closed graph classes
This article presents two simple deterministic algorithms for finding the Minimum Spanning Tree in time for any non-trivial class of graphs closed on graph minors. This applies in particular to planar graphs and graphs of bounded genus. Both algorithms run on a pointer machine and they require no a priori knowledge of the structure of the class except for its density. Edge weights are only compared.
Two methods for optical flow estimation
In this paper we describe two methods for optical flow estimation between two images. Both methods are based on the backward tracking of characteristics for advection equation and the difference is on the choice of advection vector field. We present numerical experiments on 2D data of cell nucleus.
Two new proof techniques for investigating the computational power of two-way computing devices [Abstract of thesis]
Two open problems in communication in edge-disjoint paths modes
Two operations of merging and splitting components in a chain graph
In this paper we study two operations of merging components in a chain graph, which appear to be elementary operations yielding an equivalent graph in the respective sense. At first, we recall basic results on the operation of feasible merging components, which is related to classic LWF (Lauritzen, Wermuth and Frydenberg) Markov equivalence of chain graphs. These results are used to get a graphical characterisation of factorisation equivalence of classic chain graphs. As another example of the use...
Two sided Sand Piles Model and unimodal sequences
We introduce natural generalizations of two well-known dynamical systems, the Sand Piles Model and the Brylawski's model. We describe their order structure, their reachable configuration's characterization, their fixed points and their maximal and minimal length's chains. Finally, we present an induced model generating the set of unimodal sequences which amongst other corollaries, implies that this set is equipped with a lattice structure.
Two theorems about Galiukschov semicontextual languages
Twofold integral and multi-step Choquet integral
In this work we study some properties of the twofold integral and, in particular, its relation with the 2-step Choquet integral. First, we prove that the Sugeno integral can be represented as a 2-step Choquet integral. Then, we turn into the twofold integral studying some of its properties, establishing relationships between this integral and the Choquet and Sugeno ones and proving that it can be represented in terms of 2-step Choquet integral.
Two-layer planarization: improving on parameterized algorithmics.