This paper presents a novel segmentation method to assist the rigging of articulated bodies. The method computes a coarse-to-fine hierarchy of segments ordered by the level of det...
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
The problem of measuring "similarity" of objects arises in many applications, and many domain-specific measures have been developed, e.g., matching text across documents...