196 search results - page 2 / 40 » An overview of coaching with limitations |
116
Voted
WSC
2004
15 years 2 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
90
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...
111
Voted
AICOM
2006
15 years 26 days ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
89
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Since sensor nodes normally have limited resources in terms of energy, bandwidth and computation capability, efficiency is a key design goal in sensor network research...
131
Voted
ENTCS
2006
15 years 24 days ago
2006
In this paper, we are motivated by the problem of semantic web services composition. We first present a typical example requiring services composition, give a definition of an aut...