Sciweavers

3161 search results - page 82 / 633
» Hybrid results merging
Sort
View
HYBRID
2000
Springer
15 years 9 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Oleg Botchkarev, Stavros Tripakis
ACL
2007
15 years 7 months ago
A Hybrid Approach to Word Segmentation and POS Tagging
In this paper, we present a hybrid method for word segmentation and POS tagging. The target languages are those in which word boundaries are ambiguous, such as Chinese and Japanes...
Tetsuji Nakagawa, Kiyotaka Uchimoto
MM
1997
ACM
131views Multimedia» more  MM 1997»
15 years 10 months ago
Continuous Display Using Heterogeneous Disk-Subsystems
A number of recent technological trends have made data intensive applications such as continuous media (audio and video) servers a reality. These servers store and retrieve a larg...
Roger Zimmermann, Shahram Ghandeharizadeh
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
15 years 9 months ago
2D bipedal walking with knees and feet: A hybrid control approach
— In this paper, we consider an anthropomorphically-inspired hybrid model of a bipedal robot with locking knees and feet in order to develop a control law that results in human-l...
Ryan W. Sinnet, Aaron D. Ames
CDC
2010
IEEE
160views Control Systems» more  CDC 2010»
15 years 1 months ago
Model-on-Demand predictive control for nonlinear hybrid systems with application to adaptive behavioral interventions
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
Naresh N. Nandola, Daniel E. Rivera