2909 search results - page 142 / 582 » Consistency of the theory of contexts |
157
click to vote
AAAI
1997
15 years 7 months ago
1997
We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in th...
138
click to vote
COLING
1996
15 years 7 months ago
1996
hfformation structure can be of great use in linguistic applications, especially in those involving a speech component. However, focus marking by prosody is often ambiguous. Exist...
153
click to vote
AAECC
2009
Springer
15 years 7 months ago
2009
Springer
In this paper a full categorization of irreducible classical Goppa codes of degree 4 and length 9 is given. It is an interesting example in the context of find the number of permut...
136
click to vote
ACS
2010
15 years 6 months ago
2010
The theory of combinatorial differential forms is usually presented in simplicial terms. We present here a cubical version; it depends on the possibility of forming affine combina...
168
click to vote
DAM
2007
15 years 6 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...