Sciweavers

479 search results - page 59 / 96
» Supporting effective user navigation in digital documents
Sort
View
LPAR
2005
Springer
15 years 7 months ago
The Theorema Environment for Interactive Proof Development
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
Florina Piroi, Temur Kutsia
ICDAR
2009
IEEE
15 years 8 months ago
Combination of Measurement-Level Classifiers: Output Normalization by Dynamic Time Warping
Classifier combination is a powerful strategy to support useful solutions in difficult classification problems. Notwithstanding, the effectiveness of a multi-classifier system str...
Giuseppe Pirlo, Donato Impedovo, Claudia Adamita T...
KDD
2007
ACM
148views Data Mining» more  KDD 2007»
16 years 2 months ago
Detecting research topics via the correlation between graphs and texts
In this paper we address the problem of detecting topics in large-scale linked document collections. Recently, topic detection has become a very active area of research due to its...
Yookyung Jo, Carl Lagoze, C. Lee Giles
ERCIMDL
2010
Springer
118views Education» more  ERCIMDL 2010»
15 years 3 months ago
Relevance in Technicolor
In this article we propose the concept of relevance criteria profiles, which provide a global view of user behaviour in judging the relevance of retrieved information. We further p...
Ulises Cerviño Beresi, Yunhyong Kim, Dawei ...
INTERACT
2003
15 years 3 months ago
Multimodal Menu Interface for Mobile Web Browsing
: This paper presents a menu-based interface intended to support web navigation through multimodal interaction on small displays. As common starting points for web browsing and sea...
Xiaochuan Ma, Paul P. Maglio, Hui Su