2557 search results - page 48 / 512 » Goal-Based Modeling of Dynamically Adaptive System Requireme... |
VLDB
2001
ACM
14 years 5 days ago
2001
ACM
Recently, wireless PDA (Personal Digital Assistant) becomes very popular and it requires to create the HTML pages which adapt to user's browsing environment. Using SuperSQL, ...
GLVLSI
2000
IEEE
14 years 4 days ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
IPPS
1999
IEEE
14 years 23 hour ago
1999
IEEE
Many numerical solutions of large scale simulation models require finer discretizations in some regions of the computational grid. When this region is not known in advance, adapti...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
Recommender Systems, based on collaborative filtering (CF), aim to accurately predict user tastes, by minimising the mean error achieved on hidden test sets of user ratings, afte...
TIP
2002
13 years 7 months ago
2002
Dynamic magnetic resonance imaging (MRI) refers to the acquisition of a sequence of MRI images to monitor temporal changes in tissue structure. In this paper we present a method fo...