Sciweavers

283 search results - page 33 / 57
» Local Search in Histogram Construction
Sort
View
NMA
2010
14 years 9 months ago
Metaheuristics for the Asymmetric Hamiltonian Path Problem
One of the most important applications of the Asymmetric Hamiltonian Path Problem is in scheduling. In this paper we describe a variant of this problem, and develop both a mathemat...
João Pedro Pedroso
CIVR
2009
Springer
212views Image Analysis» more  CIVR 2009»
15 years 6 months ago
Video copy detection by fast sequence matching
Sequence matching techniques are effective for comparing two videos. However, existing approaches suffer from demanding computational costs and thus are not scalable for large-sca...
Mei-Chen Yeh, Kwang-Ting Cheng
ECML
2007
Springer
15 years 6 months ago
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning
Knowledge representations using semantic web technologies often provide information which translates to explicit term and predicate taxonomies in relational learning. We show how t...
Monika Záková, Filip Zelezný
TABLEAUX
1995
Springer
15 years 3 months ago
A Connection Based Proof Method for Intuitionistic Logic
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
Jens Otten
JSS
2008
93views more  JSS 2008»
14 years 11 months ago
Search-based refactoring for software maintenance
The high cost of software maintenance could be reduced by automatically improving the design of object-oriented programs without altering their behaviour. We have constructed a so...
Mark Kent O'Keeffe, Mel Ó Cinnéide