1195 search results - page 63 / 239 » Modeling an Algebraic Stepper |
164
click to vote
TLCA
2009
Springer
16 years 22 days ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
153
click to vote
ISSAC
2001
Springer
15 years 10 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...
214
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
We present a novel method for modeling dynamic visual
phenomena, which consists of two key aspects. First, the in-
tegral motion of constituent elements in a dynamic scene is
ca...
176
click to vote
EMSOFT
2007
Springer
16 years 11 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
173
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...