Sciweavers

1421 search results - page 131 / 285
» Satisfying KBO Constraints
Sort
View
179
Voted
ULPAA
1994
120views Hardware» more  ULPAA 1994»
15 years 8 months ago
EMail With A Mind of Its Own: The Safe-Tcl Language for Enabled Mail
A uniform extension language for email systems can radically extend the utility of electronic mail, simplifying the construction of mail-based services and permitting the delivery...
Nathaniel S. Borenstein
198
Voted
AAAI
2010
15 years 8 months ago
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models
In this paper a system was developed for robot behavior acquisition using kinesthetic demonstrations. It enables a humanoid robot to imitate constrained reaching gestures directed...
Kaushik Subramanian
ENTCS
2008
112views more  ENTCS 2008»
15 years 7 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
ENTCS
2008
71views more  ENTCS 2008»
15 years 7 months ago
An Inverse Method for Parametric Timed Automata
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...
Étienne André, Thomas Chatain, Laure...
AUTOMATICA
2006
99views more  AUTOMATICA 2006»
15 years 7 months ago
Path-following for linear systems with unstable zero dynamics
: A path-following problem for linear systems with unstable zero dynamics is solved. While the original control variable steers the system output along the path, the path parameter...
Dragan B. Dacic, Petar V. Kokotovic