3166 search results - page 27 / 634 » Translation By Structural Correspondences |
FFA
2008
13 years 9 months ago
2008
A projective plane is called a translation plane if there exists a line L such that the group of elations with axis L acts transitively on the points not on L. A translation plane...
CIE
2007
Springer
14 years 4 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
WADT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
OWLED
2008
13 years 11 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
ICCV
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper introduces spherical matching to estimate dense temporal correspondence of non-rigid surfaces with genus-zero topology. The spherical domain gives a consistent 2D param...