2335 search results - page 300 / 467 » Type Checking Type Classes |
72
Voted
ESANN
2003
15 years 2 months ago
2003
We propose an event-driven framework dedicated to the design and the simulation of networks of spiking neurons. It consists stract model of spiking neurons and an efficient event-d...
87
Voted
NSDI
2004
15 years 2 months ago
2004
The cost and complexity of administration of large systems has come to dominate their total cost of ownership. Stateless and soft-state components, such as Web servers or network ...
86
Voted
WSC
2004
15 years 2 months ago
2004
We review the basic principles of Quasi-Monte Carlo (QMC) methods, the randomizations that turn them into variancereduction techniques, and the main classes of constructions under...
91
Voted
WSC
2004
15 years 2 months ago
2004
Factory physics provides a systematic description, expressed as laws, of the underlying behavior of a system. These laws can provide important assistance in performing simulation ...
106
Voted
ACL
1998
15 years 2 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...