7956 search results - page 231 / 1592 » Into the Future |
190
click to vote
AIML
2008
15 years 8 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
181
click to vote
EDM
2010
15 years 8 months ago
2010
This poster describes a visualization tool for educators that allows the exploration of educational data. We display an entire classes sequence of actions to the user using a tree-...
177
click to vote
ICWSM
2008
15 years 8 months ago
2008
Tags lack organizational structure limiting their utility for navigation. We present two clustering algorithms that improve this by organizing tags automatically. We apply the alg...
220
click to vote
NAACL
2007
15 years 8 months ago
2007
We present our work on using Wikipedia as a knowledge source for Natural Language Processing. We first describe our previous work on computing semantic relatedness from Wikipedia...
198
click to vote
TAMODIA
2008
15 years 8 months ago
2008
Digital tabletops are emerging interactive systems that support group collaborations. To utilize digital tabletops for agile planning meetings, we migrated a desktop based planning...