984 search results - page 28 / 197 » ideas 2010 |
80
Voted
ENTCS
2007
15 years 21 days ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
93
Voted
EDM
2010
15 years 2 months ago
2010
Writing, particularly collaborative writing is a commonly needed skill. Investigating how ideas and concepts are developed during the process of writing can be used to improve not ...
103
Voted
EDM
2010
15 years 2 months ago
2010
In the past few years, Iranian universities have embarked to use e-learning tools and technologies to extend and improve their educational services. After a few years of conducting...
102
Voted
ICWSM
2010
15 years 2 months ago
2010
Personal photos and their associated metadata reveal different aspects of our lives and, when shared online, let others have an idea about us. Automating the extraction of persona...
116
Voted
IWEC
2010
15 years 2 months ago
2010
In the paper the idea is presented that emotions are the result of a high dimensional optimization process happening in the unconscious mapped onto the low dimensional conscious. I...