Sciweavers

478 search results - page 51 / 96
» Formal Modelling of Cognitive Interpretation
Sort
View
147
Voted
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 10 months ago
Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
Roberto Barbuti, Francesca Levi, Paolo Milazzo, Gu...
ICST
2008
IEEE
15 years 10 months ago
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
126
Voted
IJCNN
2006
IEEE
15 years 9 months ago
A Structured Context Model for Grammar Learning
—We present a structured model of context that supports an integrated approach to language acquisition and use. The model extends an existing formal notation, Embodied Constructi...
Nancy Chang, Eva Mok
ICMAS
2000
15 years 4 months ago
Computationally Grounded Theories of Agency
In this paper, I motivate, define, and illustrate the notion of computationally grounded theories of agency. A theory of agency is said to be computationally grounded if we can gi...
Michael Wooldridge
127
Voted
CONTEXT
2007
Springer
15 years 9 months ago
Context Modeling: Context as a Dressing of a Focus
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Juliette Brézillon, Patrick Brézillo...