11321 search results - page 253 / 2265 » Improvements to Turing's method |
153
click to vote
PREMI
2005
Springer
16 years 6 days ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
158
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
Geophysics research has been faced with a growing need for automated techniques with which to process large quantities of data. A successful tool must meet a number of requirements...
180
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
156
click to vote
WABI
2001
Springer
15 years 11 months ago
2001
Springer
We study the convergence rates of neighbor-joining and several new phylogenetic reconstruction methods on families of trees of bounded diameter. Our study presents theoretically ob...
181
click to vote
ADG
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...