Sciweavers

3775 search results - page 167 / 755
» Integrating Paper and Digital Music Information Systems
Sort
View
CPP
2011
99views more  CPP 2011»
14 years 6 months ago
Proof-Carrying Code in a Session-Typed Process Calculus
Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...
Frank Pfenning, Luís Caires, Bernardo Tonin...
HICSS
2010
IEEE
157views Biometrics» more  HICSS 2010»
16 years 1 months ago
Tag Clusters as Information Retrieval Interfaces
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
Kathrin Knautz, Simone Soubusta, Wolfgang G. Stock
CHI
2005
ACM
15 years 8 months ago
Why use memo for all?: restructuring mobile applications to support informal note taking
Informal note taking is an essential activity in Personal Information Management (PIM). Most mobile devices support this via a suite of applications, employing both highly structu...
Liwei Dai, Wayne G. Lutters, Carlie Bower
MSS
2000
IEEE
182views Hardware» more  MSS 2000»
15 years 11 months ago
A Blueprint for Representation Information in the OAIS Model
The CEDARS∗ project within UK academia seeks to develop a demonstrator system to recommend techniques for long-term storage of digital data primarily within the research library...
David Holdsworth, Derek M. Sergeant
ACSE
1996
ACM
15 years 10 months ago
Integrating professional skills into the curriculum
The need for the teaching of professional skills to undergraduates in areas such as communications, team work, conflict resolution, and ethics has for some time been articulated b...
John Lamp, Chris Keen, Cathy Urquhart