Sciweavers

9425 search results - page 223 / 1885
» Some Notes on Models and Modelling
Sort
View
126
Voted
CADE
2004
Springer
16 years 3 months ago
Model Checking Using Tabled Rewriting
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
Zhiyao Liang
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...
130
Voted
BVAI
2007
Springer
15 years 9 months ago
The Bayesian Draughtsman: A Model for Visuomotor Coordination in Drawing
Abstract. In this article we present a model of realistic drawing accounting for visuomotor coordination, namely the strategies adopted to coordinate the processes of eye and hand ...
Ruben Coen Cagli, Paolo Coraggio, Paolo Napoletano...
GTTSE
2007
Springer
15 years 9 months ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens
137
Voted
IAT
2006
IEEE
15 years 9 months ago
Extensibility and Reuse in an Agent-Based Dialogue Model
Most existing dialogue systems have been developed specifically for some predefined task domain(s), thus the issues of extensibility and reuse of the dialogue model are often no...
Anh Nguyen, Wayne Wobcke