1593 search results - page 216 / 319 » A visual programming system for automated problem solving |
143
click to vote
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
145
click to vote
SIGMOD
2008
ACM
15 years 4 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
141
click to vote
NN
2007
Springer
15 years 3 months ago
2007
Springer
Simultaneous recordings from populations of neurons in the inferior temporal visual cortex show that most of the information about which stimulus was shown is available in the num...
144
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
152
click to vote
C5
2004
IEEE
15 years 8 months ago
2004
IEEE
information technologies as "the ability to reformulate knowledge, to express oneself creatively and appropriately, and to produce and generate information (rather than simply...