3468 search results - page 369 / 694 » An open logical framework |
109
click to vote
AISC
2006
Springer
15 years 8 months ago
2006
Springer
This paper deals with our work on interactive mathematical documents. These documents accomodate various sources, users, and mathematical services. Communication of mathematics bet...
139
click to vote
EDBTW
2004
Springer
15 years 8 months ago
2004
Springer
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
105
click to vote
ITS
2010
Springer
15 years 6 months ago
2010
Springer
In examine the tutoring protocols of one expert human tutor tutoring 10 students in solving physics problems, four analyses reveal that he tutored the five good learners in differe...
119
click to vote
CRIWG
2007
15 years 6 months ago
2007
Collaborative systems evaluation is necessary in several situations. However, evaluation is frequently done in an ad-hoc manner or not at all. This paper presents a survey of evalu...
140
click to vote
ESANN
2008
15 years 6 months ago
2008
Abstract. Nonlinear dimensionality reduction aims at providing lowdimensional representions of high-dimensional data sets. Many new methods have been proposed in the recent years, ...