Sciweavers

5621 search results - page 121 / 1125
» Augmentation of adaptation data
Sort
View
CONCUR
2000
Springer
15 years 8 months ago
Reachability Analysis for Some Models of Infinite-State Transition Systems
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
Oscar H. Ibarra, Tevfik Bultan, Jianwen Su
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 9 months ago
Stability Overlay for linear and nonlinear time-varying plants
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
Paulo Andre Nobre Rosa, Jeff S. Shamma, Carlos Sil...
STOC
2009
ACM
238views Algorithms» more  STOC 2009»
15 years 11 months ago
Fully homomorphic encryption using ideal lattices
We propose a fully homomorphic encryption scheme – i.e., a scheme that allows one to evaluate circuits over encrypted data without being able to decrypt. Our solution comes in t...
Craig Gentry
ICASSP
2009
IEEE
15 years 11 months ago
Data-driven lexicon expansion for Mandarin broadcast news and conversation speech recognition
We present a data-driven framework for expanding the lexicon to improve Mandarin broadcast news and conversation speech recognition. The lexicon expansion includes the generation ...
Xin Lei, Wen Wang, Stolcke Stolcke
ISMAR
2008
IEEE
15 years 10 months ago
Dynamic gyroscope fusion in Ubiquitous Tracking environments
Ubiquitous Tracking (Ubitrack) setups, consisting of many previously unknown sensors, offer many possibilities to perform sensor fusion in order to increase robustness and accurac...
Daniel Pustka, Gudrun Klinker