Sciweavers

113 search results - page 6 / 23
» Strict Canonical Constructive Systems
Sort
View
DEXAW
1999
IEEE
146views Database» more  DEXAW 1999»
14 years 5 days ago
SIM - A System for Semi-Automatic Indexing of Multilingual Documents
With the growing significance of digital libraries and the Internet, more and more electronic texts become accessible to a wide and geographically disperse public. This requires a...
Ulrich Schiel, Ianna M. S. F. de Sousa, Edberto Fe...
MMAS
2010
Springer
13 years 2 months ago
Simplified Modelling of a Thermal Bath, with Application to a Fluid Vortex System
Based on the thermodynamic concept of a reservoir, we investigate a computational model for interaction with unresolved degrees of freedom (a thermal bath). We assume that a finite...
Svetlana Dubinkina, Jason Frank, Ben Leimkuhler
RTA
2010
Springer
13 years 11 months ago
Computing Critical Pairs in 2-Dimensional Rewriting Systems
Rewriting systems on words are very useful in the study of monoids. In good cases, they give finite presentations of the monoids, allowing their manipulation by a computer. Even b...
Samuel Mimram
AUTOMATICA
2011
13 years 2 months ago
Interval observers for linear time-invariant systems with disturbances
It is shown that, for any time-invariant exponentially stable linear system with additive disturbances, time-varying exponentially stable interval observers can be constructed. Th...
Frédéric Mazenc, Olivier Bernard
CDC
2009
IEEE
14 years 18 days ago
A motion planning algorithm for the rolling-body problem
—In this paper, we consider the control system Σ defined by the rolling of a strictly convex surface S of IR3 on a plane without slipping or spinning. The purpose of this paper...
François Alouges, Yacine Chitour, Ruixing L...