1604 search results - page 176 / 321 » Development Separation in Lambda-Calculus |
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— It is difficult to map many existing learning algorithms onto biological networks because the former require a separate learning network. The computational basis of biological...
IJCNN
2006
IEEE
14 years 4 months ago
2006
IEEE
— Research has shown substantial reductions in the oxides of nitrogen (NOx) concentrations by using 10% to 25% exhaust gas recirculation (EGR) in spark ignition (SI) engines [1]....
SIGIR
2006
ACM
14 years 4 months ago
2006
ACM
In today’s data-rich networked world, people express many aspects of their lives online. It is common to segregate different aspects in different places: you might write opinion...
POPL
2000
ACM
14 years 3 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
EPIA
1999
Springer
14 years 3 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...