Global parametrization of surfaces requires singularities (cones) to keep distortion minimal. We describe a method for finding cone locations and angles and an algorithm for glob...
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...
Online 3D virtual worlds have many exciting and contemporary uses such as for social interaction, teaching and training, entertainment, and even for the development of virtual bus...