Sciweavers

4666 search results - page 117 / 934
» Equations on Timed Languages
Sort
View
104
Voted
TROB
2010
103views more  TROB 2010»
14 years 7 months ago
Time Parameterization of Humanoid-Robot Paths
Abstract--This paper proposes a unified optimization framework to solve the time parameterization problem of humanoid robot paths. Even though the time parameterization problem is ...
Wael Suleiman, Fumio Kanehiro, Eiichi Yoshida, Jea...
112
Voted
HYBRID
2005
Springer
15 years 6 months ago
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
Robin L. Raffard, Jianghai Hu, Claire Tomlin
98
Voted
SIGMETRICS
2000
ACM
111views Hardware» more  SIGMETRICS 2000»
15 years 18 days ago
AMVA techniques for high service time variability
Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the &qu...
Derek L. Eager, Daniel J. Sorin, Mary K. Vernon
102
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Referential semantic language modeling for data-poor domains
This paper describes a referential semantic language model that achieves accurate recognition in user-defined domains with no available domain-specific training corpora. This mo...
Stephen Wu, Lane Schwartz, William Schuler
123
Voted
FORMATS
2006
Springer
15 years 4 months ago
On the Computational Power of Timed Differentiable Petri Nets
Abstract. Well-known hierarchies discriminate between the computational power of discrete time and space dynamical systems. A contrario the situation is more confused for dynamical...
Serge Haddad, Laura Recalde, Manuel Silva