984 search results - page 28 / 197 » ideas 2010 |
ENTCS
2007
14 years 9 months 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...
EDM
2010
14 years 11 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 ...
EDM
2010
14 years 11 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...
ICWSM
2010
14 years 11 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...
IWEC
2010
14 years 11 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...