4930 search results - page 57 / 986 » Learning minimal abstractions |
102
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
－ It is a hotly research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. BFL algorithm is the most effective Counterexample minim...
135
Voted
CDC
2008
IEEE
15 years 20 days ago
2008
IEEE
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
Abstract-- Recently, a two-phase scheme for removing saltand-pepper impulse noise has been proposed [14]. In the first phase, an adaptive median filter is used to identify pixels w...
ICC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—In this paper we propose non-regenerative multicarrier multiple-input multiple-output (MIMO) relay techniques that minimize the mean-squared error (MSE) of the signal wa...
130
Voted
ARGMAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Several recent works in the area of Artificial Intelligence focus on computational models of argumentation-based negotiation. However, even if computational models of ar...