747 search results - page 33 / 150 » Theory and Construction of Molecular Computers |
190
click to vote
IJON
2006
15 years 6 months ago
2006
This article presents a new system for automatically constructing and training radial basis function networks based on original evolutionary computing methods. This system, called...
162
click to vote
RTA
2005
Springer
15 years 11 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
132
click to vote
IJMMS
2006
15 years 6 months ago
2006
Students rated 16 tutorial statements on negative politeness (i.e., how much the tutor ``allows me freedom to make my own decisions'') and positive politeness (i.e., how...
207
click to vote
DIALM
2003
ACM
15 years 11 months ago
2003
ACM
We propose a novel localized algorithm that constructs a bounded degree and planar spanner for wireless ad hoc networks modeled by unit disk graph (UDG). Every node only has to kn...
163
click to vote
AAAI
1994
15 years 7 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...