Abstract. Extraction of visual descriptors is a crucial problem for stateof-the-art visual information analysis. In this paper, we present a knowledgebased approach for detection o...
Paraskevi K. Tzouveli, Georgios Andreou, Gabriel T...
Abstract. This paper takes a fresh look at the application of interval analysis to ordinary differential equations and studies how consistency techniques can help address the accur...
Yves Deville, Micha Janssen, Pascal Van Hentenryck
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
MINLP problems are hard constrained optimization problems, with nonlinear constraints and mixed discrete continuous variables. They can be solved using a Branch-and-Bound scheme c...
In this research, a systematic study is conducted of four dimension reduction techniques for the text clustering problem, using five benchmark data sets. Of the four methods -- Ind...
Bin Tang, Michael A. Shepherd, Malcolm I. Heywood,...