3829 search results - page 211 / 766 » Improving Our Reviewing Processes |
157
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Previous work on Natural Language Processing for Information Retrieval has shown the inadequateness of semantic and syntactic structures for both document retrieval and categoriza...
149
click to vote
TSE
2010
14 years 11 months ago
2010
Several recent studies indicate that many industrial applications exhibit poor quality in the design of exception-handling. To improve the quality of error-handling, we need to und...
136
click to vote
ICDM
2005
IEEE
15 years 10 months ago
2005
IEEE
We study an algorithm for feature selection that clusters attributes using a special metric and then makes use of the dendrogram of the resulting cluster hierarchy to choose the m...
118
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents a technique for learning parameterized implied constraints. They can be added to a model to improve the solving process. Experiments on implied Gcc constraints ...
132
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...