3706 search results - page 232 / 742 » OntoComP System Description |
142
click to vote
ADAEUROPE
2008
Springer
16 years 24 days ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
140
click to vote
IWINAC
2007
Springer
16 years 18 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...
222
click to vote
CL
2000
Springer
15 years 10 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 ...
181
click to vote
DEXAW
1999
IEEE
15 years 10 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...
159
click to vote
ITS
1992
Springer
15 years 10 months ago
1992
Springer
One aim of intelligent tutoring systems is to tailor lessons to each individual student's needs. To do this a tutoring system requires a model of the student's knowledge...