2444 search results - page 262 / 489 » Feature Construction for Back-Propagation |
141
click to vote
TOPLAS
2008
15 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
165
click to vote
LOGCOM
2010
15 years 5 months ago
2010
A theory of infinitary deduction systems is developed for the modal logic of coalgebras for measurable polynomial functors on the category of measurable spaces. These functors ha...
173
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
The modularity of aspect-oriented programming (AOP) has been a controversial issue. To investigate this issue compared with object-oriented programming (OOP), we propose a simple ...
156
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
167
click to vote
RSKT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Our aim is to develop methodology for recognition of Internet portal users on the basis of their behaviours. This is a classification task in which we have thousands val...