3191 search results - page 138 / 639 » Qualitative Modeling in Education |
179
Voted
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
205
Voted
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we derive models of the selection pressure in XCS for proportionate (roulette wheel) selection and tournament selection. We show that these models can explain the e...
158
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
158
click to vote
WSC
2008
15 years 9 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
183
Voted
NIPS
2008
15 years 8 months ago
2008
We develop the syntactic topic model (STM), a nonparametric Bayesian model of parsed documents. The STM generates words that are both thematically and syntactically constrained, w...