Sciweavers

5830 search results - page 905 / 1166
» Automatic link generation
Sort
View
CHI
2008
ACM
16 years 7 months ago
Activity-based serendipitous recommendations with the Magitti mobile leisure guide
This paper presents a context-aware mobile recommender system, codenamed Magitti. Magitti is unique in that it infers user activity from context and patterns of user behavior and,...
Victoria Bellotti, James Bo Begole, Ed Huai-hsin C...
CHI
2005
ACM
16 years 7 months ago
Supporting efficient development of cognitive models at multiple skill levels: exploring recent advances in constraint-based mod
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
Irene Tollinger, Richard L. Lewis, Michael McCurdy...
CHI
2005
ACM
16 years 7 months ago
In the mixxx: novel digital DJ interfaces
We present an interactive system, Mixxx, for live DJ'ing using digital sound files. The design of the system is approached from two directions: Through Contextual Design usin...
Tue Haste Andersen
VLSID
2008
IEEE
128views VLSI» more  VLSID 2008»
16 years 7 months ago
A Novel Approach to Compute Spatial Reuse in the Design of Custom Instructions
In the automatic design of custom instruction set processors, there can be a very large set of potential custom instructions, from which a few instructions are required to be chos...
Nagaraju Pothineni, Anshul Kumar, Kolin Paul
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 7 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng