1236 search results - page 61 / 248 » On the Hamkins approximation property |
100
Voted
RSCTC
2004
Springer
15 years 6 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
132
click to vote
FCS
2006
15 years 2 months ago
2006
We prove an upper bound on the convergence rate of Markov Chain Monte Carlo (MCMC) algorithms for the important special case when the state space can be aggregated into a smaller ...
95
Voted
ICMAS
1998
15 years 2 months ago
1998
This paper enriches the current studies on interaction with a domain where agents have original properties about the interaction. The agents interact with the external world and t...
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
99
Voted
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...