685 search results - page 26 / 137 » Closure Operators for Order Structures |
143
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose a new variational method to restore point-like and curvelike singularities in 2-D images. As points and open curves are fine structures, they are difficult to restore...
178
click to vote
POPL
2012
ACM
14 years 17 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
160
click to vote
EUSFLAT
2009
15 years 2 months ago
2009
Abstract-- An L-fuzzy context is a triple consisting of a set of objects, a set of attributes and an L-fuzzy binary relation between them. An l-cut is a classical context over the ...
175
click to vote
RTA
1995
Springer
15 years 8 months ago
1995
Springer
We present a completion procedure (called MKB) that works for multiple reduction orderings. Given equations and a set of reduction orderings, the procedure simulates a computation ...
162
click to vote
COCOA
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many combinatorial optimization problems can be formulated as 0/1 integer programs (0/1 IPs). The investigation of the structure of these problems raises the following ta...