1192 search results - page 89 / 239 » Symbolic Query Exploration |
108
Voted
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
111
click to vote
EVOW
2007
Springer
15 years 8 months ago
2007
Springer
We present several practical improvements to the interactive evolution of 2D images, some of which are also applicable to more general genetic programming problems. We introduce tr...
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
Consider a rational matrix, particularly one whose entries have large numerators and denominators, but which is presented as a product of very sparse matrices with relatively smal...
100
click to vote
MKM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Many processes in mathematical computing try to use knowledge of the most desired forms of mathematical expressions. This occurs, for example, in symbolic computation sys...
121
click to vote
ITS
2004
Springer
15 years 7 months ago
2004
Springer
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...