Sciweavers

1285 search results - page 40 / 257
» Codes for Digital Recorders
Sort
View
ERCIMDL
2007
Springer
114views Education» more  ERCIMDL 2007»
14 years 14 days ago
Key Element-Context Model: An Approach to Efficient Web Metadata Maintenance
In this paper, we study the problem of maintaining metadata for open Web content. In digital libraries such as DLESE, NSDL and G-Portal, metadata records are created for some good ...
Ba-Quy Vuong, Ee-Peng Lim, Aixin Sun, Chew-Hung Ch...
JCDL
2004
ACM
93views Education» more  JCDL 2004»
14 years 2 months ago
Digital trail libraries
We propose the idea of an online, user submitted digital library of recreation trails. Digital libraries of trails offer advantages over paper guidebooks in that they are more acc...
Scott Morris, Alan Morris, Kobus Barnard
PERVASIVE
2007
Springer
14 years 2 months ago
Virtual Walls: Protecting Digital Privacy in Pervasive Environments
As pervasive environments become more commonplace, the privacy of users is placed at increased risk. The numerous and diverse sensors in these environments can record users’ cont...
Apu Kapadia, Tristan Henderson, Jeffrey J. Fieldin...
ISLPED
1995
ACM
113views Hardware» more  ISLPED 1995»
14 years 2 days ago
Low delay-power product CMOS design using one-hot residue coding
: CMOS implementations of arithmetic units for One-Hot Residue encoded operands are presented. They are shown to reduce the delay-power product of conventional, fully-encoded desig...
William A. Chren Jr.
CPP
2011
99views more  CPP 2011»
12 years 8 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...