6562 search results - page 222 / 1313 » Noetherianity and Combination Problems |
172
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
We combine techniques originally developed for refutational first-order theorem proving within the clause tree framework with techniques for minimal model computation developed wi...
154
click to vote
AAAI
2010
15 years 8 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
149
click to vote
IMECS
2007
15 years 8 months ago
2007
—In this research, the Genetic Algorithm (GA) and Space-Filling Curve (SFC) are combined along with the use of Taguchi method for finding the optimal combination of parameters. T...
179
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract The problem of portfolio risk estimation in volatile markets requires employing fat-tailed models for financial instrument returns combined with copula functions to captur...
159
click to vote
PAA
2006
15 years 6 months ago
2006
The problem addressed in this paper is the automatic extraction of names from a document image. Our approach relies on the combination of two complementary analyses. First, the ima...