222 search results - page 22 / 45 » A Calculus for Shapes in Time and Space |
KBS
2011
13 years 2 months ago
2011
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (c...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper we present a hierarchical, learning-based approach for automatic and accurate liver segmentation from 3D CT volumes. We target CT volumes that come from largely dive...
ICPR
2002
IEEE
14 years 8 months ago
2002
IEEE
ct expressions, and different head orientations. In this paper, we introduce a new approach for realtime 3D face pose discrimination based on active IR illumination from a monocula...
ISCAPDCS
2004
13 years 9 months ago
2004
This paper describes a collaboration among computer scientists, dancers, and musicians on a production entitled "Fibonacci and Phi." Thematically, the production explore...
AAAI
2006
13 years 9 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...