31686 search results - page 266 / 6338 » Resource typing in Guru |
240
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
130
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
139
click to vote
IJCNN
2008
IEEE
16 years 10 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...
167
click to vote
TPHOL
2007
IEEE
16 years 6 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
192
click to vote
IFSA
2007
Springer
16 years 2 days ago
2007
Springer
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...