Sciweavers

2196 search results - page 158 / 440
» Practical Reasoning Using Values
Sort
View
105
Voted
PKDD
2009
Springer
107views Data Mining» more  PKDD 2009»
15 years 9 months ago
Neural Networks for State Evaluation in General Game Playing
Unlike traditional game playing, General Game Playing is concerned with agents capable of playing classes of games. Given the rules of an unknown game, the agent is supposed to pla...
Daniel Michulke, Michael Thielscher
103
Voted
ICTAI
2007
IEEE
15 years 8 months ago
Conceptual Clustering Categorical Data with Uncertainty
Many real datasets have uncertain categorical attribute values that are only approximately measured or imputed. Uncertainty in categorical data is commonplace in many applications...
Yuni Xia, Bowei Xi
ENTCS
2006
113views more  ENTCS 2006»
15 years 2 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
HICSS
2003
IEEE
141views Biometrics» more  HICSS 2003»
15 years 7 months ago
Understanding the Foundation of Mobile Content Quality A Presentation of a New Research Field
This paper studies some problems regarding mobile content quality (MCQ). Since the reason for communication is to be useful, we think that the only way of creating precise target ...
Pär Landor
SYNASC
2006
IEEE
91views Algorithms» more  SYNASC 2006»
15 years 8 months ago
MATHsAiD: A Mathematical Theorem Discovery Tool
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
Roy L. McCasland, Alan Bundy