5964 search results - page 377 / 1193 » A theory of speculative computation |
192
click to vote
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
197
click to vote
SCALESPACE
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an algorithm for computing stability of top-points in scale-space. The potential usefulness of top-points in scalespace has already been shown for a number of a...
187
click to vote
SEFM
2003
IEEE
16 years 25 days ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
170
click to vote
CONCUR
2000
Springer
15 years 12 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
166
click to vote
CIE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machi...