4767 search results - page 125 / 954 » Structures for Abstract Rewriting |
100
click to vote
WADS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
104
click to vote
EACL
2010
ACL Anthology
15 years 3 months ago
2010
ACL Anthology
Abstract. Since the early days of generation research, it has been acknowledged that modeling the global structure of a document is crucial for producing coherent, readable output....
126
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
101
click to vote
AML
2010
15 years 2 months ago
2010
Abstract We prove that a sequence of sets containing representatives of cupping partners for every nonzero 0 2 enumeration degree cannot have a 0 2 enumeration. We also prove that ...
110
click to vote
EUROCAST
2009
Springer
15 years 2 days ago
2009
Springer
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...