747 search results - page 9 / 150 » An Alternative Representation for QBF |
SMC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract – We formalize the concept of domain representation in artificial intelligence, and propose a framework for evaluating representation and comparing alternative represen...
DSD
2010
IEEE
14 years 7 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
IJCAI
1993
14 years 10 months ago
1993
We have written a prototype computer program called TrenDx for automated trend detection during process monitoring. The program uses a representation called trend templates that d...
EUROGP
2004
Springer
15 years 2 months ago
2004
Springer
In this paper, we use multi-objective techniques to compare different genetic programming systems, permitting our comparison to concentrate on the effect of representation and sepa...
72
Voted
ITS
2004
Springer
15 years 2 months ago
2004
Springer
This paper describes a study in which individual learner models were built for students and presented to them with a choice of view. Students found it useful, and not confusing to ...