4341 search results - page 430 / 869 » Quantitative Model checking |
170
click to vote
APGV
2005
ACM
16 years 14 days ago
2005
ACM
We present a post-processing technique that selectively reduces the salience of distracting regions in an image. Computational models of attention predict that texture variation i...
145
click to vote
EUROCAST
2005
Springer
16 years 12 days ago
2005
Springer
The Fuzzy Constraint Networks model, a generalization of the Disjunctive Temporal Fuzzy Constraint Networks, is a framework that allows representing and reasoning with fuzzy qualit...
152
click to vote
ICANN
2003
Springer
16 years 3 days ago
2003
Springer
Many activity dependent learning rules have been proposed in order to model long-term potentiation (LTP). Our aim is to derive a spike time dependent learning rule from a probabili...
163
click to vote
CSR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We study a quantitative model of traces, i.e. trace series which assign to every trace an element from a semiring. We show the coincidence of recognizable trace series wi...
175
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
Interaction analysis can provide information directly to learners and teachers in order to assess and self-regulate their ongoing activity. Omega+ is a generic CSCL system that use...