2060 search results - page 150 / 412 » Visualization in Digital Libraries |
163
click to vote
JAR
2007
15 years 6 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
139
click to vote
IROS
2006
IEEE
16 years 14 days ago
2006
IEEE
— In this paper, we show that visual feedback reduces the complexity of parallel robot Cartesian control. Namely, 3D pose visual servoing, where the end-effector pose is indirect...
154
click to vote
ICPR
2006
IEEE
2006
IEEE
Texture Image Retrieval Using Novel Non-separable Filter Banks Based on Centrally Symmetric Matrices
16 years 7 months ago
Though millions of images are stored in a large digital image library today, the user can not access or make full use of these image information unless the digital image library i...
161
click to vote
ERCIMDL
2009
Springer
16 years 1 months ago
2009
Springer
This poster reports on current work with the NSF-funded Achievement Standards Network (ASN) to support discovery of educational resources in digital libraries using conceptual grap...
174
click to vote
ERCIMDL
2005
Springer
15 years 12 months ago
2005
Springer
We present a new statistical compression method, which we call Phrase Based Dense Code (PBDC), aimed at compressing large digital libraries. PBDC compresses the text collection to ...