Sciweavers

2357 search results - page 133 / 472
» interfaces 2007
Sort
View
144
Voted
JAR
2007
80views more  JAR 2007»
15 years 4 months ago
Integrating Searching and Authoring in Mizar
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...
Paul A. Cairns, Jeremy Gow
AROBOTS
1999
117views more  AROBOTS 1999»
15 years 4 months ago
AV-Shell, an Environment for Autonomous Robotic Applications Using Active Vision
Abstract. In this paper, we present a system called the Active Vision Shell (AV-shell) which provides a programming framework for expressing and implementing autonomous robotic tas...
Jeffrey A. Fayman, Ehud Rivlin, Henrik I. Christen...
CIVR
2007
Springer
136views Image Analysis» more  CIVR 2007»
15 years 11 months ago
Merging storyboard strategies and automatic retrieval for improving interactive video search
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
Michael G. Christel, Rong Yan
190
Voted
AINA
2007
IEEE
15 years 6 months ago
Phygital Map: Accessing Digital Multimedia from Physical Map
— We present an augmented map interface called Phygital (physical, digital) Map that enables users to access digital multimedia stored in various off-the-shelf devices from physi...
Jin Nakazawa, Hideyuki Tokuda
DSS
2007
124views more  DSS 2007»
15 years 4 months ago
Access control in collaborative commerce
Corporate collaboration allows organizations to improve the efficiency and quality of their business activities. It may occur as a workflow collaboration, a supply chain collabora...
Eldon Y. Li, Timon C. Du, Jacqueline W. Wong