1805 search results - page 20 / 361 » A Theory of Closure Operators |
121
click to vote
ACS
2007
15 years 4 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
116
click to vote
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
104
click to vote
APPML
2008
15 years 4 months ago
2008
Assume that Au = f (1) is a solvable linear equation in a Hilbert space H, A is a linear, closed, densely defined, unbounded operator in H, which is not boundedly invertible, so p...
117
click to vote
ESA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We describe a data structure for three-dimensional Nef complexes, algorithms for boolean operations on them, and our implementation of data structure and algorithms. Nef ...
146
click to vote
LATA
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a rest...