12487 search results - page 226 / 2498 » Graspable Work Modeling |
129
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This articl...
130
click to vote
ESANN
1998
15 years 5 months ago
1998
This paper presents a novel self-organising neural network. It has been developed for use as a simpli ed model of cortical development. Unlike many other models of topological map...
132
click to vote
AUSAI
2009
Springer
15 years 10 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
137
Voted
CSE
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper summarizes our work on a parallel algorithm for an interacting particle model, derived from the model by Czirok, Vicsek, et. al. [3, 4, 5, 13, 14]. Our model is particu...
133
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...