2203 search results - page 205 / 441 » Temporal Abstract Interpretation |
140
click to vote
ESANN
2004
15 years 5 months ago
2004
Abstract. We present a large-scale Neuromorphic model based on integrateand-fire (IF) neurons that analyses objects and their depth within a moving visual scene. A feature-based al...
113
click to vote
EHCI
2001
15 years 5 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
135
click to vote
PDPTA
2000
15 years 5 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
120
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
123
click to vote
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Spiking Neuron Networks (SNNs) overcome the computational power of neural networks made of thresholds or sigmoidal units. Indeed, SNNs add a new dimension, the temporal a...