Sciweavers

2904 search results - page 402 / 581
» Valuing Design Repair
Sort
View
MHCI
2009
Springer
16 years 28 days ago
Hands on music: physical approach to interaction with digital music
Mobile users listen to large digital music libraries with thousands of songs. Browsing such libraries in mobile contexts is difficult due to constraints of the context and devices...
Janne Bergman, Jarmo Kauko, Jaakko Keränen
PPDP
2009
Springer
16 years 28 days ago
Set functions for functional logic programming
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
Sergio Antoy, Michael Hanus
SAT
2009
Springer
91views Hardware» more  SAT 2009»
16 years 27 days ago
VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
Eric I. Hsu, Sheila A. McIlraith
ASPDAC
2009
ACM
100views Hardware» more  ASPDAC 2009»
16 years 27 days ago
Noise minimization during power-up stage for a multi-domain power network
– With the popularity of Multiple Power Domain (MPD) design, the multi-domain power network noise analysis and minimization is becoming important. This paper describes an efficie...
Wanping Zhang, Yi Zhu, Wenjian Yu, Amirali Shayan ...
JCDL
2009
ACM
121views Education» more  JCDL 2009»
16 years 27 days ago
Improving historical research by linking digital library information to a global genealogical database
Journals, letters, and other writings are of great value to historians and those who research their own family history; however, it can be difficult to find writings by specific...
Douglas J. Kennard, William B. Lund, Bryan S. Mors...