4666 search results - page 88 / 934 » Equations on Timed Languages |
124
Voted
DALT
2007
Springer
15 years 7 months ago
2007
Springer
Agent-based modelling approaches are usually based on logical languages, whereas in many areas dynamical system models based on differential equations are used. This paper shows ho...
EACL
1993
ACL Anthology
15 years 2 months ago
1993
ACL Anthology
This paper contributes to the theory of substructural logics .that are of interest to categorial grammarians. Combining semantic ideas of Hepple [1990] and Morrill [1990], proof-t...
58
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
We consider the result of a wet splicing procedure after the reaction has run to its completion, or limit, and we try to describe the molecules that will be present at this final ...
SAC
2004
ACM
15 years 6 months ago
2004
ACM
The Object Constraint Language OCL is a textual specification language that could be used for constraining the modelling elements that occur in UML diagrams. Typical constraints i...
78
Voted
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes a new animation editing method for creating animations from a single texture image. A standard warping method can not handle a physical motion effect because o...