Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 11 - 20
of
5,069
Table 2: Time related axioms of pCRLt,wherea2A
2001
"... In PAGE 22: ... Sort Time contains a constant 0 (\zero quot;), which serves as a minimal element for the total ordering . Axioms for , eq (equality, which we often simply express using \= quot;), min (minimum), and if (if-then-else) are listed in Table2 . A function lt; is used to abbreviate terms t u^:eq(t; u)tot lt;u, and u t v abbreviates u t ^ t u.... ..."
Cited by 7
Table 4: Axioms for parallelism of CRLt,wherea; b 2 A and c; c0 2 A
2001
Cited by 7
Table III. Cast tables for the class ( d) D of Figure 2: + is a scalar, quot; a vector, whereas # and * are hashtables.
Tableoffset is a constant for all types and methods whereas selectorOffset depends on the method.
Table 1: Platforms used for testing. Memory indicates video RAM, whereas RAM means system memory.
Table 2: Lasserre algorithms with (+) or without (?) shifting and storing respectively. The case (+, ?) represents LAS whereas (+, +) is r-LAS.
"... In PAGE 13: ...3 cross{13 13/8192/26 1700 15 cross{14 14/16384/28 7600 65 Table 1: Comparison of C amp;H and r-C amp;H 5.2 LAS versus r-LAS In Table2 the e ect of shifting and storing is demonstrated for cubes and cross polytopes. The rst component in each pair of signs relates to shifting, the second component to storing.... ..."
Table IV reports some basic statistics, such as minimum, maximum, mean and standard deviation of the fit, whereas
Table 1 At Level 1 the requirements are at a very abstract level whereas at Level 4 the requirements are
(Table 4 and online Table S1), whereas fewer tended to be fitted in the single species models 358
"... In PAGE 13: ...e., from single 281 species models based on random pseudo-absences to single species models based on 282 inventory pseudo-absences) (Table4 ). We investigate the variables selected, and provide 283 detailed examples for two species, in the online supplement (Appendix S1).... ..."
Results 11 - 20
of
5,069
