4894 search results - page 225 / 979 » Choices |
150
click to vote
ADCM
2000
15 years 7 months ago
2000
This paper is devoted to the analysis of network approximation in the framework of approximation and regularization theory. It is shown that training neural networks and similar n...
159
click to vote
CORR
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes in outline a method for translating Japanese temporal expressions into English. We argue that temporal expressions form a special subset of language that is be...
173
click to vote
DEBU
2000
15 years 7 months ago
2000
The current state of web search is most successful at directing users to appropriate web sites. Once at the site, the user has a choice of following hyperlinks or using site searc...
183
click to vote
ENTCS
2000
15 years 7 months ago
2000
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and lambda-calculus. Since rule application is an explic...
186
click to vote
CSL
2002
Springer
15 years 7 months ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...