3552 search results - page 359 / 711 » Proof theory in the abstract |
173
click to vote
CSL
2004
Springer
16 years 5 days 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...
217
click to vote
FOSSACS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
188
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In practical applications evaluating a fitness function is frequently subject to noise, i. e., the “true fitness” is disturbed by some random variations. Evolutiona...
164
click to vote
MPC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
162
click to vote
PERVASIVE
2004
Springer
16 years 4 days ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...