1678 search results - page 90 / 336 » An ASM Specification of C |
JSC
2006
13 years 10 months ago
2006
We show the following two universality statements on the entry-ranges and Markov bases of spaces of 3-way contingency tables with fixed 2-margins: (1) For any finite set D of nonn...
ALIFE
2005
13 years 10 months ago
2005
Deacon has recently proposed that complexes of genes can be integrated into functional groups as a result of environmental changes that mask and unmask selection pressures. For exa...
ICDE
2002
IEEE
14 years 11 months ago
2002
IEEE
Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works requires pr...
WWW
2002
ACM
14 years 10 months ago
2002
ACM
The simplicity of HTTP was a major factor in the success of the Web. However, as both the protocol and its uses have evolved, HTTP has grown complex. This complexity results in nu...
CADE
2002
Springer
14 years 10 months ago
2002
Springer
The reflection theorem has been proved using Isabelle/ZF. This theorem cannot be expressed in ZF, and its proof requires reasoning at the meta-level. There is a particularly elegan...