9067 search results - page 449 / 1814 » Adaptive Model Checking |
185
click to vote
UM
2005
Springer
16 years 10 days ago
2005
Springer
The A theory of user expectation of system interaction is introduced in the context of User Adapted Interfaces. The usability of an intelligent email client that learns to filter s...
203
Voted
CIA
2003
Springer
16 years 3 days ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
151
click to vote
AH
2006
Springer
15 years 10 months ago
2006
Springer
As there are a lot of approaches and projects within the area of adaptive e-learning, several theoretical models have been developed in the last 15 years. Against this background, ...
186
Voted
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We are developing a cross-media information retrieval system, in which users can view specific segments of lecture videos by submitting text queries. To produce a text index, the ...
155
Voted
KBSE
2005
IEEE
16 years 13 days ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...