3191 search results - page 158 / 639 » Qualitative Modeling in Education |
188
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We define a new transfinite time model of computation, infinite time cellular automata. The model is shown to be as powerful than infinite time Turing machines, both on finite and ...
178
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
First step in developing electronic book is to build a conceptual model. The model described in this paper is designed by integrating Multiple Intelligences Theory with existing el...
180
Voted
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic ...
197
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
188
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...