14298 search results - page 212 / 2860 » Dynamic Languages and Applications |
187
click to vote
IFL
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
206
click to vote
CONNECTION
2006
15 years 6 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
165
click to vote
ICSR
2004
Springer
15 years 12 months ago
2004
Springer
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...