972 search results - page 157 / 195 » Intersection types and computational effects |
IUI
2009
ACM
14 years 5 months ago
2009
ACM
While recommender systems tell users what items they might like, explanations of recommendations reveal why they might like them. Explanations provide many benefits, from improvi...
HAPTICS
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we propose a stretchable large area sensor skin based on Two-Dimensional Signal Transmission (2DST) technology. A small tactile sensor chip with stable non-contact ...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
— This work aims at improving real-time motion control and dead-reckoning of wheeled skid-steer vehicles by considering the effects of slippage, but without introducing the compl...
ISPASS
2006
IEEE
14 years 2 months ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Testing with random inputs can give surprisingly good results if the distribution of inputs is spread out evenly over the input domain; this is the intuition behind Adaptive Rando...