Sciweavers

4421 search results - page 242 / 885
» Libraries
Sort
View
ACL2
2006
ACM
15 years 8 months ago
Memories: array-like records for ACL2
We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
Jared Davis
ICMCS
2005
IEEE
94views Multimedia» more  ICMCS 2005»
15 years 7 months ago
Video booklet
In this paper, we propose a novel system, Video Booklet, which enables efficient and nature video browsing and searching. In the system, a set of selected thumbnails excerpted fro...
Xian-Sheng Hua, Shipeng Li, Hong-Jiang Zhang
WACV
2005
IEEE
15 years 7 months ago
3D Recognition and Segmentation of Objects in Cluttered Scenes
In this paper we present a novel view point independent range image segmentation and recognition approach. We generate a library of 3D models off-line and represent each model wit...
Ajmal S. Mian, Mohammed Bennamoun, Robyn A. Owens
135
Voted
JCDL
2005
ACM
111views Education» more  JCDL 2005»
15 years 7 months ago
Developing practical automatic metadata assignment and evaluation tools for internet resources
This paper describes the development of practical automatic metadata assignment tools to support automatic record creation for virtual libraries, metadata repositories and digital...
Gordon W. Paynter
135
Voted
JCDL
2005
ACM
97views Education» more  JCDL 2005»
15 years 7 months ago
User centred interactive search in the humanities
This poster describes research on the needs and behaviours of Humanities users of both digital libraries and more traditional information environments. Categories and Subject Desc...
Claire Warwick, Jon Rimmer, Ann Blandford, George ...