553 search results - page 37 / 111 » Learning Meets Verification |
ECTEL
2007
Springer
14 years 4 months ago
2007
Springer
The poster introduces EXPLAIN, a project funded by the German Federal Ministry of Economy and Technology. The vision of EXPLAIN is to reduce efforts for content projects by means o...
WEBNET
2000
13 years 11 months ago
2000
: On-line learning is one of the emerging needs of the information age. Access to education is going to become crucial for the success of our information society. Therefore a lot o...
IJWBC
2007
13 years 10 months ago
2007
We present a proposal for research, development and construction of international communities in Portuguese, using digital platforms. The idea was born following an international ...
AGI
2008
13 years 11 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
EUSFLAT
2003
13 years 11 months ago
2003
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...