Sciweavers

11213 search results - page 1977 / 2243
» Low-contention data structures
Sort
View
PKDD
2005
Springer
95views Data Mining» more  PKDD 2005»
16 years 2 days 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
PKDD
2005
Springer
125views Data Mining» more  PKDD 2005»
16 years 2 days 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...
RTA
2005
Springer
16 years 2 days 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
SAT
2005
Springer
133views Hardware» more  SAT 2005»
16 years 2 days 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à
SCIA
2005
Springer
155views Image Analysis» more  SCIA 2005»
16 years 2 days 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 1977 / 2243 Last » Next »