740 search results - page 24 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
ECTEL
2008
Springer
13 years 10 months ago
2008
Springer
: This paper analyzes how different visualisations of interaction information can be used to indicate user activity and support informal learning. The question for research is how ...
MM
2000
ACM
14 years 24 days ago
2000
ACM
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
ECOI
2007
13 years 8 months ago
2007
Complex multi-dimensional datasets are now pervasive in science and elsewhere in society. Better interactive tools are needed for visual data exploration so that patterns in such ...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper presents the extension of an existing mimimally supervised rule acquisition method for relation extraction by coreference resolution (CR). To this end, a novel...
SIGMOD
2009
ACM
14 years 8 months ago
2009
ACM
Entity Resolution (ER) is an important real world problem that has attracted significant research interest over the past few years. It deals with determining which object descript...