7289 search results - page 16 / 1458 » A Dependent Set Theory |
ECOOP
2003
Springer
14 years 1 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
NIPS
2004
13 years 9 months ago
2004
Experimental studies have observed synaptic potentiation when a presynaptic neuron fires shortly before a postsynaptic neuron, and synaptic depression when the presynaptic neuron ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
AC
2000
Springer
14 years 4 days ago
2000
Springer
ICRA
1993
IEEE
13 years 12 months ago
1993
IEEE