1805 search results - page 51 / 361 » A Theory of Closure Operators |
107
click to vote
COLING
1992
15 years 5 months ago
1992
Abstract -- In this paper, we present a new mathematical framework in which disjunctive feature structures are defined as directed acyclic hypergraphs. Disjunction is defined in th...
117
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
Fuzzy topology based on interior operators is studied in the fully graded framework of Fuzzy Class Theory. Its relation to graded notions of fuzzy topology given by open sets and ...
141
click to vote
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper we consider the problem of computing and removing interreflections in photographs of real scenes. Towards this end, we introduce the problem of inverse light transp...
111
Voted
COGSR
2010
14 years 11 months ago
2010
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
112
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...