We study the global topology of the syntactic and semantic distributional similarity networks for English through the technique of spectral analysis. We observe that while the syn...
Chris Biemann, Monojit Choudhury, Animesh Mukherje...
Abstract. The paper presents a novel technique to create implementations of the basic primitives used in symbolic program analysis: forward symbolic evaluation, weakest liberal pre...
: This paper addresses some classical problems to integrate data sources that are heterogeneous in structure with possibly redundant data along a real world example integrating thr...
Patrick Lehti, Peter Fankhauser, Silvia von Stacke...
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...
is.sagepub.com/cgi/content/abstract/33/4/435 The online version of this article can be found at: Published by: http://www.sagepublications.com On behalf of: Chartered Institute of ...