20 search results - page 3 / 4 » Algebraic Topology for Knowledge Representation in Analogy S... |
JAR
1998
13 years 5 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
CIKM
2007
Springer
13 years 12 months ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: Statistical shape models are powerful tools for model-based segmentation and have been sucessfully applied to the segmentation of various structures in medical images. Though the...
SSD
1993
Springer
13 years 9 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...