1284 search results - page 222 / 257 » On Helping and Interactive Proof Systems |
MKM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of deļ¬nitions, which often use overloaded notation. For eļ...
IPPS
2003
IEEE
14 years 2 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
MM
2003
ACM
14 years 2 months ago
2003
ACM
We demonstrate the use of detail-on-demand hypervideo in interactive training and video summarization. Detail-on-demand video allows viewers to watch short video segments and to f...
DEXAW
2002
IEEE
14 years 1 months ago
2002
IEEE
We present our EU-sponsored research in the domain of individual knowledge management and collaborative learning: the MailTack system. MailTack is a stand-alone software tool that...
CHI
2009
ACM
14 years 1 months ago
2009
ACM
This paper studies people recommendations designed to help users find known, offline contacts and discover new friends on social networking sites. We evaluated four recommender al...