4944 search results - page 234 / 989 » A Framework for Adaptive Visualization |
151
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
Abstraction in a Higher-Order Logic Framework Marco Benini Sara Kalvala Dirk Nowotka Department of Computer Science University of Warwick, Coventry, CV4 7AL, United Kingdom We pres...
142
click to vote
ICCAD
1994
IEEE
15 years 9 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
143
Voted
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
We present a framework for transforming several quorum-based protocols so that they can dynamically adapt their failure threshold and server count, allowing them to be reconfigure...
142
click to vote
DGO
2003
15 years 6 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
186
click to vote
AMT
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper, we propose a framework to improve the relevance of awareness information about people and subjects, by adapting recommendation techniques to real-time web ...