14386 search results - page 2682 / 2878 » Algorithms for user interfaces |
141
click to vote
LAWEB
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we process and analyze web search engine query and click data from the perspective of the documents (URL’s) selected. We initially define possible document categor...
158
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
154
click to vote
WIOPT
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper reverse-engineers backoff-based random-access MAC protocols in ad-hoc networks. We show that the contention resolution algorithm in such protocols is implicitly part...
158
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
146
click to vote
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Computing reliable gene expression levels from microarray experiments is a sophisticated process with many potential pitfalls. Quality control is one of the most important steps i...