2449 search results - page 290 / 490 » Tensor Embedding Methods |
FSTTCS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Given two simplicial complexes C1 and C2 embedded in Euclidean space IRd , C1 subdivides C2 if (i) C1 and C2 have the same underlying space, and (ii) every simplex in C1 ...
76
Voted
TSD
2004
Springer
15 years 4 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
96
Voted
TYPES
2004
Springer
15 years 4 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspeciļ¬cations, we present a particular instance concerned with the optimized compilation of a lazy language (called...
ICDAR
2003
IEEE
15 years 4 months ago
2003
IEEE
As a universal technical language, mathematics has been widely applied in many fields, and it is more accurate than any other languages in describing information. Therefore, numer...
95
Voted
IWPC
2003
IEEE
15 years 4 months ago
2003
IEEE
During software evolution, adaptive, and corrective maintenance are common reasons for changes. Often such changes cluster around key components. It is therefore important to anal...