4184 search results - page 269 / 837 » Names of Our Lives |
193
click to vote
EDM
2008
15 years 8 months ago
2008
This paper discusses our approach to building models and analyzing student behaviors in different versions of our learning by teaching environment where students learn by teaching ...
164
click to vote
IJCAI
2007
15 years 8 months ago
2007
We introduce a human-computer interaction system which collaborates with a user by providing feedback during user activities. The goal of the system is to help a user complete a h...
153
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...
179
click to vote
SSWMC
2004
15 years 8 months ago
2004
We present in this paper the results of our study on the human perception of geometric distortions in images. The ultimate goal of this study is to devise an objective measurement...
185
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...