1805 search results - page 127 / 361 » A Theory of Closure Operators |
128
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
At present, the common operation mechanism of multiple classifier systems is the combination of classifier outputs. Recently, some researchers pointed out the potentialities of â€...
118
click to vote
ACL
2001
15 years 6 months ago
2001
We offer a computational analysis of the resolution of ellipsis in certain cases of dialogue clarification. We show that this goes beyond standard techniques used in anaphora and ...
124
click to vote
ENTCS
2008
15 years 4 months ago
2008
Dcpos can be presented by a preorder of generators and inequational relations expressed as covers. Algebraic operations on the generators (possibly with their results being ideals...
135
Voted
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
Operators for delimiting control and for capturing composable continuations litter the landscape of theoretical programming language research. Numerous papers explain their advant...
124
click to vote
APAL
2008
15 years 4 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...