2086 search results - page 38 / 418 » Mathematical Theory Exploration |
APPINF
2003
13 years 10 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligmanâ...
WSC
1997
13 years 10 months ago
1997
The paper is devoted to a brief review of a mathematical theory for the branching variance-reduction technique. The branching technique is an extension of von Neumannâs splittin...
JTAER
2008
13 years 8 months ago
2008
The main purpose of the paper is to explore and discuss the influence of product type on customer interaction in electronic commerce. We have conducted two qualitative case studie...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Many problems in mathematics and computer science can be reduced to proving the satisfiability of conjunctions of literals in a background theory which is often the extension of a ...
MKM
2004
Springer
14 years 2 months ago
2004
Springer
This paper reports on reïŹnements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...