3001 search results - page 158 / 601 » Recursive type generativity |
122
click to vote
CSL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In [6] J. Laird has shown that an infinitary sequential extenPCF has a fully abstract model in his category of locally boolean domains (introduced in [8]). In this paper ...
215
click to vote
DMIN
2008
15 years 7 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
162
click to vote
FLAIRS
2001
15 years 7 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...
186
click to vote
APAL
2008
15 years 6 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
143
click to vote
APAL
2005
15 years 6 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...