11740 search results - page 87 / 2348 » More Problems in Rewriting |
84
Voted
ENTCS
2007
15 years 19 days ago
2007
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Link-translating proxies are widely used for anonymous browsing, policy circumvention and WebVPN functions. These are implemented by encoding the destination URL in the path of th...
116
Voted
IS
2012
13 years 8 months ago
2012
When transforming data one often wants certain information in the data source to be preserved, i.e., we identify parts of the source data and require these parts to be transformed...
103
Voted
TCS
2011
14 years 7 months ago
2011
During the last years, the genomes of more and more species have been sequenced, providing data for phylogenetic reconstruction based on genome rearrangement measures, where the m...
113
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...