3108 search results - page 303 / 622 » The Elements of Computer Credibility |
151
click to vote
JSC
2011
15 years 1 months ago
2011
Let Ω ≤ GLd(q) be a quasisimple classical group in its natural representation and let ∆ = NGLd(q)(Ω). We construct the projection from ∆ to ∆/Ω and provide fast, poly...
155
Voted
TCS
2011
15 years 1 months ago
2011
Using a combinatorial characterization of digital convexity based on words, one defines the language of convex words. The complement of this language forms an ideal whose minimal...
208
Voted
SIAMMAX
2010
15 years 1 months ago
2010
The numerical solution of linear systems with certain tensor product structures is considered. Such structures arise, for example, from the finite element discretization of a line...
246
click to vote
STOC
2012
ACM
13 years 9 months ago
2012
ACM
Option contracts are a type of financial derivative that allow investors to hedge risk and speculate on the variation of an asset’s future market price. In short, an option has...
188
click to vote
CASC
2009
Springer
16 years 1 months ago
2009
Springer
We present lazy and forgetful algorithms for adding, multiplying and dividing multivariate polynomials. The lazy property allows us to compute the i-th term of a polynomial withou...