1246 search results - page 144 / 250 » Recursive Timed Automata |
161
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
130
click to vote
ICPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Persons may perform an activity in many different styles, or noise may cause an identical activity to have different temporal structures. We present a robust methodology for recog...
136
click to vote
SIPS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a novel multifunctional multiple-input multiple-output (MIMO) scheme that combines the benefits of the Vertical Bell Labs Layered Space-Time (VBLAST) schem...
137
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract – Jointly optimised iterative source- and channel-decoding is used for enhancing the error resilience of the Adaptive Multi Rate WideBand (AMR-WB) speech codec. The resu...
171
click to vote
ICDM
2006
IEEE
15 years 11 months ago
2006
IEEE
Several spatio-temporal data collected in many applications, such as fMRI data in medical applications, can be represented as a Multivariate Time Series (MTS) matrix with m rows (...