7868 search results - page 224 / 1574 » Learning by Answer Sets |
159
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...
154
click to vote
ECTEL
2007
Springer
16 years 18 days ago
2007
Springer
The paper aims at illustrating the original technical solution provided within an academic institute in order to manage teaching activities, encompassing the coordination of projec...
178
click to vote
KBSE
2005
IEEE
16 years 20 hour ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
157
click to vote
COLT
1995
Springer
15 years 10 months ago
1995
Springer
We present algorithms for exactly learning unknown environments that can be described by deterministic nite automata. The learner performs a walk on the target automaton, where at...
195
click to vote
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
The IMage Euclidean Distance (IMED) is a class of image metrics, in which the spatial relationship between pixels is taken into consideration. It was shown that calculating the IM...