3273 search results - page 81 / 655 » types 2007 |
HT
2007
ACM
15 years 8 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...
189
click to vote
OOPSLA
2007
Springer
15 years 10 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...
145
click to vote
ENTCS
2007
15 years 4 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...
123
click to vote
NIPS
2001
15 years 5 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...
101
click to vote
ESANN
2007
15 years 5 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 ...