Abstract Real-time simulation of deformable objects involves many computational challenges to be solved, particularly in the context of haptic applications, where high update rates...
This paper describes a method for checking the acceptability of paraphrases in context. We use the Google n-gram data and a CCG parser to certify the paraphrasing grammaticality a...
Abstract: In this paper we present a framework for the fusion of radar and image information. In the case considered here we combine information from multiple closerange radars to ...
Abstract. We present a deep embedding of Bellantoni and Cook’s syntactic characterization of polytime functions. We prove formally that it is correct and complete with respect to...
Estimating divergence between two point processes, i.e. probability laws on the space of spike trains, is an essential tool in many computational neuroscience applications, such a...