7289 search results - page 16 / 1458 » A Dependent Set Theory |
104
click to vote
ECOOP
2003
Springer
15 years 5 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...
103
Voted
NIPS
2004
15 years 1 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
15 years 5 months ago
2006
IEEE
AC
2000
Springer
15 years 4 months ago
2000
Springer
ICRA
1993
IEEE
15 years 3 months ago
1993
IEEE