An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
Gary Look, Buddhika Kottahachchi, Robert Laddaga, ...
We study a dissimilarity measure between shapes, expressed by the natural pseudodistance between size pairs, where a shape is viewed as a topological space endowed with a real-val...
Abstract. Utility functions of several variables are ubiquitous in economics. Their maximization requires inversion of the gradient map. Using convex analysis tools, we provide a r...
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
Abstract--Web-based video collaboration environments have transformative potentials for video-enhanced education and for videobased research studies. We first describe DIVER, a pla...