1925 search results - page 151 / 385 » Dynamic Typing |
FLAIRS
2001
13 years 10 months ago
2001
Recently we have proposed an algorithm of constructing hierarchical neural network classifiers (HNNC), that is based on a modification of error back-propagation. This algorithm co...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
ISBI
2008
IEEE
14 years 10 months ago
2008
IEEE
Within-subject analysis in fMRI relies on both (i) a detection step to localize which parts of the brain are activated by a given stimulus type, and on (ii) an estimation step to ...
SOSP
1993
ACM
13 years 10 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...
ESOP
2010
Springer
14 years 6 months ago
2010
Springer
Proving software free of security bugs is hard. Languages that ensure that programs correctly enforce their security policies would help, but, to date, no security-typed language h...