130 search results - page 17 / 26 » The Semantics of Scheme Control-Flow Analysis |
100
Voted
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
Generating a random sampling of program trees with specified function and terminal sets is the initial step of many program evolution systems. I present a theoretical and experim...
135
click to vote
MM
2009
ACM
15 years 4 months ago
2009
ACM
Pervasive multimedia devices require accurate video retargeting, especially in connected consumer electronics platforms. In this paper, we present a context assisted spatialtempor...
ENTCS
2007
14 years 11 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
107
click to vote
JCS
2007
14 years 11 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
104
click to vote
ICCV
2009
IEEE
14 years 9 months ago
2009
IEEE
In this work, we address the problem of building recognition across two camera views with large changes in scales and viewpoints. The main idea is to construct a semantically rich...