2880 search results - page 167 / 576 » context 2007 |
121
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
127
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...
123
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
121
click to vote
INEX
2007
Springer
15 years 11 months ago
2007
Springer
This paper exposes the results of our participation at INEX’07 in the AdHoc track and the comparison of these results with respect to the ones obtained last year. Three runs were...
131
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
We present a method for acquiring ontological knowledge using search query logs. We first use query logs to identify important contexts associated with terms belonging to a semant...