23 search results - page 2 / 5 » On minimal models of the Region Connection Calculus |
TIT
1998
13 years 4 months ago
1998
—We use recent network calculus results to study some properties of lossless multiplexing as it may be used in guaranteed service networks. We call network calculus a set of resu...
AAAI
2008
13 years 7 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
SCALESPACE
2009
Springer
13 years 11 months ago
2009
Springer
The proposed method is related to parametric and geodesic active contours as well as minimal paths, in the context of image segmentation 1 . Our geodesically linked active contour ...
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
In nonrigid motion analysis, deformation fields are often modeled using splines defined on a control-point grid. Inspired by recent development of meshfree methods, we propose a no...