4352 search results - page 3 / 871 » A Representation Theorem and Applications |
FOIS
2010
13 years 11 months ago
2010
Abstract. In this paper we show how the relationships between first-order ontologies within a repository can be used to support ontology verification. We discuss the use of represe...
ECCV
2010
Springer
14 years 3 months ago
2010
Springer
Based on the Lagrangian framework for fluid dynamics, a streakline
representation of flow is presented to solve computer vision
problems involving crowd and traffic flow. Streakl...
ENTCS
2008
13 years 10 months ago
2008
: By the Riesz Representation Theorem for locally compact Hausdorff spaces, for every positive linear functional I on K(X) there is a measure
ICFCA
2007
Springer
14 years 2 months ago
2007
Springer
Several fuzzifications of formal concept analysis have been proposed to deal with uncertainty or incomplete information. In this paper, we focus on the new paradigm of multi-adjoin...
CADE
2007
Springer
14 years 10 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...