3690 search results - page 686 / 738 » Computation with classical sequents |
ISBI
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper presents an algorithm to classify pixels in uterine cervix images into two classes, namely normal and abnormal tissues, and simultaneously select relevant features, usi...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
In this paper, we propose a system for helping users to judge the credibility of Web search results and to search for credible Web pages. Conventional Web search engines present o...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
We present Surfpad, a pointing facilitation technique that does not decrease target distance or increase target width in either control or display space. This new technique operat...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
As mobile devices increase in functionality, users perform more tasks when on the move. Spatial audio interfaces offer a solution for eyes-free interaction. However, such interfac...
CHI
2011
ACM
13 years 2 months ago
2011
ACM
Extracting useful knowledge from large network datasets has become a fundamental challenge in many domains, from scientific literature to social networks and the web. We introduc...