3928 search results - page 68 / 786 » order 2006 |
117
click to vote
JOT
2006
15 years 3 months ago
2006
The paper introduces modeling spaces in order to help software practitioner to understand modeling. Usually software engineers often think of a specific kind of models
123
click to vote
COMBINATORICS
2004
15 years 3 months ago
2004
We present a class of permutations for which the number of distinctly ordered subsequences of each permutation approaches an almost optimal value as the length of the permutation ...
137
click to vote
JSYML
2000
15 years 3 months ago
2000
There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if...
139
click to vote
JUCS
2010
15 years 2 months ago
2010
: We introduce a first-order temporal logic for reasoning about branching time. It is well known that the set of valid formulas is not recursively enumerable and there is no fini...
110
click to vote
FFA
2010
15 years 2 months ago
2010
We develop new coset bounds for algebraic geometric codes. The bounds have a natural interpretation as an adversary threshold for algebraic geometric secret sharing schemes and le...