5964 search results - page 172 / 1193 » A theory of speculative computation |
183
click to vote
MMS
2006
15 years 7 months ago
2006
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
177
click to vote
JCC
2007
15 years 7 months ago
2007
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
173
click to vote
ENVSOFT
2002
15 years 6 months ago
2002
Radiative perturbation theory is a computational technique which can greatly ease the burden of repeated solution of the radiative transfer equation for model atmospheres which di...
194
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...
222
Voted
LION
2009
Springer
16 years 1 months ago
2009
Springer
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...