Sciweavers

158 search results - page 10 / 32
» Higher Dimensional Transition Systems
Sort
View
ISSS
1999
IEEE
121views Hardware» more  ISSS 1999»
13 years 11 months ago
Event-Driven Power Management of Portable Systems
The policy optimization problem for dynamic power management has received considerable attention in the recent past. We formulate policy optimization as a constrained optimization...
Tajana Simunic, Giovanni De Micheli, Luca Benini
HYBRID
2003
Springer
14 years 21 days ago
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
PIMRC
2010
IEEE
13 years 5 months ago
On Maximum Likelihood MIMO detection in QAM-FBMC systems
Multi-carrier modulation and especially CP-OFDM is widely used nowadays in several radio communications. However, FBMC is a potential alternative to CP-OFDM since it does not requi...
R. Zakaria, Didier Le Ruyet
NAACL
2001
13 years 8 months ago
Chunking with Support Vector Machines
We apply Support Vector Machines (SVMs) to identify English base phrases (chunks). SVMs are known to achieve high generalization performance even with input data of high dimension...
Taku Kudo, Yuji Matsumoto
TMM
2011
177views more  TMM 2011»
13 years 2 months ago
MIMiC: Multimodal Interactive Motion Controller
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
Dumebi Okwechime, Eng-Jon Ong, Richard Bowden