Sciweavers

4397 search results - page 334 / 880
» Relational Algebra Operations
Sort
View
ICRA
1998
IEEE
79views Robotics» more  ICRA 1998»
15 years 9 months ago
Parts Orienting with Partial Sensor Information
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...
Srinivas Akella, Matthew T. Mason
134
Voted
FOSSACS
2006
Springer
15 years 8 months ago
Denotational Semantics of Hybrid Automata
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
Abbas Edalat, Dirk Pattinson
CDC
2009
IEEE
148views Control Systems» more  CDC 2009»
15 years 8 months ago
Input-output framework for robust stability of time-varying delay systems
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
Yassine Ariba, Frédéric Gouaisbaut
120
Voted
FMICS
2008
Springer
15 years 6 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
ALENEX
2004
110views Algorithms» more  ALENEX 2004»
15 years 6 months ago
Computation of a Class of COntinued Fraction Constants
There are numerous instances where mathematical constants do not admit a closed form. It is then of great interest to compute them, possibly in an efficient way. So the question i...
Loïck Lhote