1095 search results - page 49 / 219 » Algebraic Guide Generation |
DCC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract. Given an algebraic geometry code CL(D, P), the GuruswamiSudan algorithm produces a list of all codewords in CL(D, P) within a specified distance of a received word. The i...
ADG
2000
Springer
14 years 1 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...
JAT
2007
13 years 9 months ago
2007
We derive new convergence results for the Schoenberg operator and more general quasi-interpolation operators. In particular, we prove that natural conditions on the generator func...
FAC
2010
13 years 7 months ago
2010
Here we describe an algebraic approach to constructing a provably correct compiler for an object-oriented language called ROOL. We tackle the problem of compiler correctness by red...
ACL
2010
13 years 7 months ago
2010
As information extraction (IE) becomes more central to enterprise applications, rule-based IE engines have become increasingly important. In this paper, we describe SystemT, a rul...