5615 search results - page 1056 / 1123 » Active Learner Modelling |
114
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a unified graph representation of the Web, which includes both structural and usage information. We model this graph using a simple union of the Web's hyperlink ...
135
click to vote
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
Specifying user interfaces consists in a fundamental activity in the user interface development life cycle as it informs the subsequent steps. Good quality specifications could lea...
127
click to vote
BCS
2008
15 years 4 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
153
click to vote
EON
2008
15 years 4 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
141
Voted
SDM
2008
SIAM
15 years 4 months ago
2008
SIAM
In this paper we explore private computation built on vector addition and its applications in privacypreserving data mining. Vector addition is a surprisingly general tool for imp...