32032 search results - page 6112 / 6407 » Verified programming in Guru |
152
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
168
click to vote
TGC
2005
Springer
16 years 6 days ago
2005
Springer
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acade...
182
click to vote
TLCA
2005
Springer
16 years 6 days ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
180
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
198
click to vote
UM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...