2436 search results - page 170 / 488 » Evaluating Adaptive Problem Selection |
132
Voted
TCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
128
click to vote
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of e-Infrastructures that wish to reconcile the generality of their services with the bespoke requirements of diverse user communities. We motivate the requ...
122
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
139
Voted
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
Motion capture data is an effective way of synthesizing human motion for many interactive applications, including games and simulations. A compact, easy-to-decode representation i...
140
Voted
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...