Sciweavers

4666 search results - page 110 / 934
» Equations on Timed Languages
Sort
View
92
Voted
IJBC
2008
98views more  IJBC 2008»
15 years 25 days ago
Slow Invariant Manifolds as Curvature of the Flow of Dynamical Systems
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
Jean-Marc Ginoux, Bruno Rossetto, Leon O. Chua
106
Voted
IJAC
2007
99views more  IJAC 2007»
15 years 22 days ago
Normalized Expressions and Finite Automata
There exist two well-known quotients of the position automaton of a regular expression. The first one, called the equation automaton, has first been introduced by Mirkin from th...
Jean-Marc Champarnaud, Faissal Ouardi, Djelloul Zi...
KI
2006
Springer
15 years 23 days ago
GeTS - A Specification Language for Geo-Temporal Notions
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
Hans Jürgen Ohlbach
85
Voted
CSDA
2008
122views more  CSDA 2008»
15 years 27 days ago
Bayesian inference for nonlinear multivariate diffusion models observed with error
Diffusion processes governed by stochastic differential equations (SDEs) are a well established tool for modelling continuous time data from a wide range of areas. Consequently, t...
Andrew Golightly, Darren J. Wilkinson
104
Voted
FUIN
2008
81views more  FUIN 2008»
15 years 26 days ago
A Cancellation Theorem for BCCSP
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...