246 search results - page 26 / 50 » A novel approach to symbolic algebra |
AMAI
2007
Springer
14 years 9 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
76
Voted
CG
2011
Springer
14 years 4 months ago
2011
Springer
In previous work we introduced a construction to produce multiresolutions from given subdivisions. A portion of that construction required solving bilinear equations using a symbo...
103
click to vote
PLDI
2011
ACM
14 years 15 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
CIARP
2006
Springer
15 years 1 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
HIS
2008
14 years 11 months ago
2008
Most symbolic classifiers aim at building sets of rules with good coverage and precision. While this is suitable for most applications, they tend to neglect other desirable proper...