3552 search results - page 536 / 711 » Proof theory in the abstract |
169
click to vote
ISNN
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, a method of improving the learning time and convergence rate is proposed to exploit the advantages of artificial neural networks and fuzzy theory to neuron...
130
click to vote
LOCA
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
172
click to vote
LPNMR
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...
183
click to vote
QOSIP
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...
148
click to vote
RTA
2005
Springer
16 years 12 hour ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...