1115 search results - page 33 / 223 » An Abstract Look at Realizability |
AISC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In previous work, we showed the importance of distinguishing "I know that X = Y " from "I don't know that X = Y ". In this paper we look at effec...
ICES
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Fault Tolerance is an increasing challenge for integrated circuits due to semiconductor technology scaling. This paper looks at how artificial evolution may be tuned to ...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Irony is an effective but challenging mode of communication that allows a speaker to express sentiment-rich viewpoints with concision, sharpness and humour. Irony is espe...
TCC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We study the necessary and sufficient assumptions for universally composable (UC) computation, both in terms of setup and computational assumptions. We look at the common...
IJFCS
2011
13 years 2 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...