1650 search results - page 176 / 330 » The HOM problem is decidable |
108
click to vote
KYOTODL
2000
15 years 5 months ago
2000
Spatial data are often stored in a database with the finest level of details. The problem of cartographic generalization of spatial data concerns deriving spatial data with proper...
137
click to vote
AAAI
1994
15 years 5 months ago
1994
Neural networks were evolved through genetic algorithms to focus minimax search in the game of Othello. At each level of the search tree, the focus networks decide which moves are...
155
click to vote
IJCAI
1993
15 years 5 months ago
1993
Since most real-world applications of classification learning involve continuous-valued attributes, properly addressing the discretization process is an important problem. This pa...
118
click to vote
WCE
2007
15 years 5 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...
126
click to vote
ALENEX
2009
15 years 5 months ago
2009
We experimentally compare the two algorithms A and B by Fredman and Khachiyan [FK96] for the problem Monet--given two monotone Boolean formulas in DNF and in CNF, decide whether ...