1385 search results - page 106 / 277 » Natural Rewriting for General Term Rewriting Systems |
161
click to vote
ICDE
2008
IEEE
16 years 22 days ago
2008
IEEE
— If we consider a query involving multiple domains, such as “find all database conferences held within six months in locations whose seasonal average temperature is 28◦ C a...
176
click to vote
SIGCOMM
2003
ACM
15 years 11 months ago
2003
ACM
Packet traces of operational Internet traffic are invaluable to network research, but public sharing of such traces is severely limited by the need to first remove all sensitive...
194
click to vote
AISC
2010
Springer
15 years 9 months ago
2010
Springer
We present tropical games, a generalization of combinatorial min-max games based on tropical algebras. Our model breaks the traditional symmetry of rational zero-sum games where pl...
161
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
The parsimony pressure method is perhaps the simplest and most frequently used method to control bloat in genetic programming. In this paper we first reconsider the size evolutio...
191
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...