1480 search results - page 210 / 296 » Using history to improve mobile application adaptation |
188
click to vote
GLVLSI
2000
IEEE
15 years 10 months 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,...
213
click to vote
ICTAI
2006
IEEE
16 years 12 days ago
2006
IEEE
We propose a novel algorithm called GA-MDP for solving the frequency assigment problem. GA-MDP inherits the spirit of genetic algorithms with an adaptation of Markov Decision Proc...
273
click to vote
ERCIMDL
1998
Springer
15 years 10 months ago
1998
Springer
Multimedia communication is a part of everyday life and its appearance in computer applications is increasing in frequency and diversity. Intelligent or knowledge based computer su...
189
click to vote
UMUAI
1998
15 years 6 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
143
click to vote
CHI
2007
ACM
16 years 6 months ago
2007
ACM
It is well-established finding that people find maps easier to use when they are aligned so that "up" on the map corresponds to the user's forward direction. With m...