1560 search results - page 96 / 312 » interfaces 2010 |
IJMHCI
2010
13 years 7 months ago
2010
Recent mobile devices are capable of creating and storing a large amount of multimedia data, but sharing those data with others is still challenging. This paper presents Cocktail,...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
“Recording Inner Life” is the title of my master’s thesis. It is a system to express the “inner life” (feelings, affects, and emotions) and record them on a long-term ba...
TC
2010
13 years 8 months ago
2010
—As the cost per bit of NAND flash memory devices rapidly decreases, NAND-flash-based Solid-State Disks (SSDs) are replacing Hard Disk Drives (HDDs) used in a wide spectrum of co...
JAR
2010
13 years 8 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
—Today, RFID is used to identify a wide range of work pieces or individual products for tracking their movements through the logistics chain. For future purposes the idea of stor...