2206 search results - page 209 / 442 » On the power of coercion abstraction |
167
click to vote
CSL
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...
158
click to vote
DNA
2004
Springer
16 years 12 hour ago
2004
Springer
Abstract. A very common approach in chemistry and biology is to observe the progress of an experiment, and take the result of this observation as the final output. Inspired by thi...
149
click to vote
ECWEB
2004
Springer
16 years 10 hour ago
2004
Springer
This paper presents a new technology for supporting flexible query management in recommender systems. It is aimed at guiding a user in refining her query when it fails to return ...
196
click to vote
EVOW
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. Dynamic optimization using evolutionary algorithms is receiving increasing interests. However, typical test functions for comparing the performance of various dynamic opt...
169
click to vote
FMCAD
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...