Sciweavers

3582 search results - page 547 / 717
» Designing games with a purpose
Sort
View
DATE
2006
IEEE
104views Hardware» more  DATE 2006»
16 years 10 days ago
Equivalence verification of arithmetic datapaths with multiple word-length operands
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
Namrata Shekhar, Priyank Kalla, Florian Enescu
EUROMICRO
2006
IEEE
16 years 10 days ago
From PRIMI to PRIMIFaces: Technical Concepts for Selective Information Disclosure
Instant messaging platforms facilitate coordination in workgroups by providing users with mutual information on their presence and availability, allowing for ad-hoc conversations ...
Tom Gross, Christoph Oemig
HAPTICS
2006
IEEE
16 years 10 days ago
Determining the Feasibility of Forearm Mounted Vibrotactile Displays
At first glance, multi-element forearm mounted vibrotactile displays would appear to have considerable potential as an output device for mobile computing. The devices are small, r...
Ian Oakley, Yeongmi Kim, Junhun Lee, Jeha Ryu
HICSS
2006
IEEE
120views Biometrics» more  HICSS 2006»
16 years 9 days ago
Systems Thinking and Information Literacy: Elements of a Knowledge Enabling Workplace Environment
Dynamic technology-driven circumstances fortify academic librarians’ reconsideration of their professional purposes, processes and relationships. In response, California Polytec...
Mary M. Somerville, Anita Mirijamdotter, Lydia Col...
HICSS
2006
IEEE
93views Biometrics» more  HICSS 2006»
16 years 9 days ago
Presenting the Past: A Framework for Facilitating the Externalization and Articulation of User Activities in Desktop Environment
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
Kimmo Wideroos, Samuli Pekkola