This paper proposes a novel approach to the visualization of complex, but interrelated, sets of information to ease user cognition. Principally, it explores the potential of provi...
— We present a novel technique for the detection of hand-thrown objects in a video sequence. Our method runs in real-time and was designed to be used as a component in a deployed...
Evan Ribnick, Stefan Atev, Nikolaos Papanikolopoul...
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
In this paper, we propose a new asymmetric boosting method, Boosting with Different Costs. Traditional boosting methods assume the same cost for misclassified instances from di...
Measurement of network traffic is a fundamental issue to manage the network itself. The highly selfsimilar nature of IP traffic makes its measurement and profiling a very complex ...