Sciweavers

2377 search results - page 324 / 476
» Hybrid Systems in TLA
Sort
View
AUTOMATICA
2008
78views more  AUTOMATICA 2008»
15 years 6 months ago
Multi-modal control using adaptive motion description languages
In this paper, we address the problem of adaptively enriching motion description languages for multi-modal control by systematically enlarging the set of available modes. This pro...
Tejas R. Mehta, Magnus Egerstedt
AUTOMATICA
2006
106views more  AUTOMATICA 2006»
15 years 6 months ago
Barrier certificates for nonlinear model validation
Abstract-- New methods for model validation of continuoustime nonlinear systems with uncertain parameters are presented in this paper. The methods employ functions of state-paramet...
Stephen Prajna
TWC
2008
126views more  TWC 2008»
15 years 6 months ago
Coherent and Differential ICI Cancellation for Mobile OFDM with Application to DVB-H
We develop a reduced-complexity hybrid frequency/time-domain orthogonal frequency division multiplexing (OFDM) channel estimation algorithm for high-mobility scenarios where the ch...
Sili Lu, Naofal Al-Dhahir
COMCOM
2002
143views more  COMCOM 2002»
15 years 6 months ago
Security architecture testing using IDS - a case study
Many security approaches are currently used in organisations. In spite of the widespread use of these security techniques, network intrusion remains a problem. This paper discusse...
Theuns Verwoerd, Ray Hunt
COLING
2010
15 years 1 months ago
Antelogue: Pronoun Resolution for Text and Dialogue
Antelogue is a pronoun resolution prototype designed to be released as off-the-shelf software to be used autonomously or integrated with larger anaphora resolution or other NLP sy...
Eleni Miltsakaki