2268 search results - page 42 / 454 » The Essence of Form Abstraction |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
IWCIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper explores the combinatorial aspects of symmetric and antisymmetric forms represented in tensor algebra. The development of geometric perspective gained from ten...
AAECC
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. In this paper we discuss the word normalization problem in pc presented finite supersolvable groups: given two group elements a and b in normal form the normal form of th...
EACL
2006
ACL Anthology
13 years 9 months ago
2006
ACL Anthology
We propose a backoff model for phrasebased machine translation that translates unseen word forms in foreign-language text by hierarchical morphological abstractions at the word an...
ICS
1999
Tsinghua U.
14 years 8 days ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...