440 search results - page 39 / 88 » Arguments for the continuity principle |
164
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
We study possible formulations of algebraic propositional proof systems operating with noncommutative formulas. We observe that a simple formulation gives rise to systems at least ...
175
click to vote
ICALP
1998
Springer
15 years 10 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
166
click to vote
FLAIRS
2007
15 years 8 months ago
2007
Information is indispensable in preparing economic decisions purposefully. In this paper knowledge is represented by a probability distribution. Knowledge acquisition is realized ...
163
click to vote
AVI
1996
15 years 7 months ago
1996
: This paper introduces a visual interface for computer-supported cooperative work (CSCW). The interface is an extension of the editor interface of ESCHER, a prototype database sys...
184
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We propose a unified framework for deriving and studying soft-in soft-out (SISO) detection in multiple-access channels using the concept of variational inference. The proposed fram...