We present a new motion estimation framework and apply it to omni-directional imagery. Our method estimates motions incrementally using an Implicit Extended Kalman Filter (IEKF). ...
Service placement deals with the problem of selecting which node in a network is most suitable for hosting a service that responds to queries from other nodes. Optimally placing s...
The ability to mark-up live sports event content, viewed from multiple camera angles, such that athletes and other objects of interest can be tracked, facilitates an exciting new ...
Stefan Poslad, Aristodemos Pnevmatikakis, Mario Nu...
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...