7988 search results - page 1314 / 1598 » A Useful Undecidable Theory |
185
click to vote
COR
2002
15 years 6 months ago
2002
This paper presents the fundamental theory and algorithms for identifying the most preferred alternative for a decision maker (DM) having a non-centrist (or extremist) preferentia...
142
click to vote
EATCS
2000
15 years 6 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
189
click to vote
ECCC
2000
15 years 6 months ago
2000
This article initiates a rigorous theoretical analysis of the computational power of circuits that employ modules for computing winner-take-all. Computational models that involve ...
194
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
125
click to vote
IJMMS
2000
15 years 6 months ago
2000
In this paper we describe Astra, a computational aid for generating process explanations in nuclear astrophysics. The system operates in two stages, the rst using knowledge of qua...