1438 search results - page 196 / 288 » Relational aspects as tracematches |
207
click to vote
CEFP
2007
Springer
16 years 15 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...
171
click to vote
CICLING
2007
Springer
16 years 15 days ago
2007
Springer
Finite-state technology is considered the preferred model for representing the phonology and morphology of natural languages. The attractiveness of this technology for natural lang...
152
click to vote
CONTEXT
2007
Springer
16 years 15 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
142
click to vote
ECAL
2007
Springer
16 years 14 days ago
2007
Springer
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
156
click to vote
ECTEL
2007
Springer
16 years 14 days ago
2007
Springer
The paper presents LOCO-Analyst, an educational tool for providing teachers with feedback on the relevant aspects of the learning process taking place in a web-based learning envir...