Sciweavers

1973 search results - page 180 / 395
» The Construction of Ludic Space
Sort
View
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 6 months ago
Involutive Categories and Monoids, with a GNS-correspondence
This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is sho...
Bart Jacobs
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 6 months ago
Efficient Implementation of the Generalized Tunstall Code Generation Algorithm
A method is presented for constructing a Tunstall code that is linear time in the number of output items. This is an improvement on the state of the art for non-Bernoulli sources, ...
Michael B. Baer
ENTCS
2006
156views more  ENTCS 2006»
15 years 6 months ago
Computational Effects in Topological Domain Theory
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
Ingo Battenfeld
IJFCS
2008
110views more  IJFCS 2008»
15 years 6 months ago
Indexing Gapped-Factors Using a Tree
We present a data structure to index a specific kind of factors, that is of substrings, called gapped-factors. A gapped-factor is a factor containing a gap that is ignored during ...
Pierre Peterlongo, Julien Allali, Marie-France Sag...
CAD
2007
Springer
15 years 6 months ago
The spherical visibility map
We introduce a novel representation for visibility in three dimensions and describe an efficient algorithm to construct it. The data structure is a spherical map that consists of...
Todd Keeler, John Fedorkiw, Sherif Ghali