1828 search results - page 46 / 366 » First-Class Type Classes |
140
click to vote
IJCNN
2008
IEEE
16 years 11 days ago
2008
IEEE
— In this paper, we propose a new type of neural adaptive control via dynamic neural networks. For a class of unknown nonlinear systems, a neural identifierFbased feedback linea...
168
click to vote
FCT
2005
Springer
15 years 11 months ago
2005
Springer
We consider terms of simply typed lambda calculus in which copy of a subterm may not be inserted to the argument of itself during the reduction. The terms form wide class which inc...
144
click to vote
ICFP
1996
ACM
15 years 10 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
165
click to vote
DAGSTUHL
1998
15 years 7 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
156
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
A system is described for summarizing head-mounted or hand-carried "always-on" video. The example used is a tourist walking around a historic city with friends and famil...