3706 search results - page 172 / 742 » KtSeqC: System Description |
143
click to vote
IWINAC
2007
Springer
16 years 22 days ago
2007
Springer
Theories of how the brain computes can be differentiated in three general conceptions: the algorithmic approach, the neural information processing (neurocomputational) approach an...
223
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
182
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
189
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
289
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...