14386 search results - page 2682 / 2878 » Algorithms for user interfaces |
189
Voted
LAWEB
2006
IEEE
16 years 29 days 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...
209
Voted
QEST
2006
IEEE
16 years 29 days 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...
215
Voted
WIOPT
2006
IEEE
16 years 29 days 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...
205
click to vote
ACMSE
2006
ACM
16 years 28 days 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...
199
click to vote
ACMSE
2006
ACM
16 years 28 days 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...