Sciweavers

113 search results - page 6 / 23
» Strict Canonical Constructive Systems
Sort
View
145
Voted
DEXAW
1999
IEEE
146views Database» more  DEXAW 1999»
15 years 8 months 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...
120
Voted
MMAS
2010
Springer
14 years 10 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
125
Voted
RTA
2010
Springer
15 years 7 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
154
Voted
AUTOMATICA
2011
14 years 10 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
89
Voted
CDC
2009
IEEE
15 years 8 months 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...