Sciweavers

11231 search results - page 1928 / 2247
» Digging for Data Structures
Sort
View
112
Voted
PKDD
2005
Springer
95views Data Mining» more  PKDD 2005»
15 years 9 months ago
Ensembles of Balanced Nested Dichotomies for Multi-class Problems
Abstract. A system of nested dichotomies is a hierarchical decomposition of a multi-class problem with c classes into c − 1 two-class problems and can be represented as a tree st...
Lin Dong, Eibe Frank, Stefan Kramer
159
Voted
PKDD
2005
Springer
125views Data Mining» more  PKDD 2005»
15 years 9 months ago
A Propositional Approach to Textual Case Indexing
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
Nirmalie Wiratunga, Robert Lothian, Sutanu Chakrab...
121
Voted
RTA
2005
Springer
15 years 9 months ago
Proof-Producing Congruence Closure
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
Robert Nieuwenhuis, Albert Oliveras
127
Voted
SAT
2005
Springer
133views Hardware» more  SAT 2005»
15 years 9 months ago
Solving Over-Constrained Problems with SAT Technology
Abstract. We present a new generic problem solving approach for overconstrained problems based on Max-SAT. We first define a clausal form formalism that deals with blocks of clau...
Josep Argelich, Felip Manyà
131
Voted
SCIA
2005
Springer
155views Image Analysis» more  SCIA 2005»
15 years 9 months ago
Joint Spatial-Temporal Color Demosaicking
—Color demosaicking is critical to the image quality of digital still and video cameras that use a single-sensor array. Limited by the mosaic sampling pattern of the color filte...
Xiaolin Wu, Lei Zhang
« Prev « First page 1928 / 2247 Last » Next »