4693 search results - page 236 / 939 » Verifying Hybrid Systems |
175
click to vote
SIGDIAL
2010
15 years 4 months ago
2010
We investigate the clarification strategies exhibited by a hybrid POMDP dialog manager based on data obtained from a phone-based user study. The dialog manager combines task struc...
159
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
147
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—In multi-user cellular uplinks cooperating mobiles may share their antennas in order to achieve transmit diversity by formig a virtual antenna array (VAA) in a distributed fashi...
181
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose the novel concept of Repeat Accumulate Code Division Multiple Access (RA-CDMA), which employs unique, user-specific channel code generator matrices (...
171
click to vote
IDEAL
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents an effective core-promoter prediction system on human DNA sequence. The system, named PromSearch, employs a hybrid approach which combines search-by-content met...