Sciweavers

2282 search results - page 393 / 457
» Active property checking
Sort
View
WWW
2009
ACM
14 years 10 months ago
Personalized recommendation on dynamic content using predictive bilinear models
In Web-based services of dynamic content (such as news articles), recommender systems face the difficulty of timely identifying new items of high-quality and providing recommendat...
Wei Chu, Seung-Taek Park
CHI
2007
ACM
14 years 10 months ago
Mobile kits and laptop trays: managing multiple devices in mobile information work
A study at a large IT company shows that mobile information workers frequently migrate work across devices (here: smartphones, desktop PCs, laptops). While having multiple devices...
Antti Oulasvirta, Lauri Sumari
CHI
2004
ACM
14 years 10 months ago
Robotic camera control for remote exploration
A video stream from a single camera is often the foundation for situational awareness in teleoperation activities. Poor camera placement, narrow field-of-view and other camera pro...
Stephen B. Hughes, Michael Lewis
RECOMB
2005
Springer
14 years 10 months ago
Modeling the Combinatorial Functions of Multiple Transcription Factors
A considerable fraction of yeast gene promoters are bound by multiple transcription factors. To study the combinatorial interactions of multiple transcription factors is thus impor...
Chen-Hsiang Yeang, Tommi Jaakkola
CADE
2007
Springer
14 years 10 months ago
Symbolic Fault Injection
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
Daniel Larsson, Reiner Hähnle