245 search results - page 1 / 49 » Change strikes back |
65
Voted
EJIS
2007
14 years 10 months ago
2007
67
Voted
EACL
1993
ACL Anthology
14 years 11 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
75
Voted
APPROX
2009
Springer
15 years 4 months ago
2009
Springer
The AND problem on t bits is a promise decision problem where either at most one bit of the input is set to 1 (NO instance) or all t bits are set to 1 (YES instance). In this note...
ER
2007
Springer
15 years 4 months ago
2007
Springer
68
Voted
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
