3273 search results - page 81 / 655 » types 2007 |
HT
2007
ACM
15 years 3 months ago
2007
ACM
This paper treats web generators as a form of online hypertext and provides a taxonomy of some of the most popular generator types. It also characterizes the ideology of part...
147
click to vote
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
105
click to vote
ENTCS
2007
14 years 12 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
NIPS
2001
15 years 1 months ago
2001
Driven by the progress in the field of single-trial analysis of EEG, there is a growing interest in brain computer interfaces (BCIs), i.e., systems that enable human subjects to c...
ESANN
2007
15 years 1 months ago
2007
The cost of maintaining a given level of activity in a neuronal network depends on its size and degree of connectivity. Should a neural function require large-size fully-connected ...