4944 search results - page 359 / 989 » From XML to Relational Models |
176
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
175
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In a number of scenarios, services generated using a model-driven development (MDD) approach could benefit from “reflective” access to the information in the models from w...
158
click to vote
CONTEXT
2007
Springer
16 years 29 days ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...
184
click to vote
UAI
2004
15 years 8 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
176
click to vote
CMSB
2007
Springer
16 years 1 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...