1929 search results - page 287 / 386 » A Problem Space Approach to Expert System Specification |
153
Voted
AISC
1998
Springer
15 years 7 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
131
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
144
Voted
DMIN
2008
15 years 5 months ago
2008
The knowledge discovery process encounters the difficulties to analyze large amount of data. Indeed, some theoretical problems related to high dimensional spaces then appear and de...
163
Voted
LOGCOM
2011
14 years 6 months ago
2011
Planning as Satisfiability is one of the most well-known and effective techniques for classical planning: satplan has been the winning system in the deterministic track for optim...
111
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...