496 search results - page 80 / 100 » Model reduction of periodic systems: a lifting approach |
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we present an efficient model for discovering repeated patterns in symbolic representations of music. Combinatorial redundancy inherent to the pattern discovery pa...
EMNLP
2008
13 years 10 months ago
2008
To improve the Mandarin large vocabulary continuous speech recognition (LVCSR), a unified framework based approach is introduced to exploit multi-level linguistic knowledge. In th...
CIIA
2009
13 years 9 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
FORMATS
2006
Springer
14 years 3 days ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
ICASSP
2011
IEEE
13 years 5 days ago
2011
IEEE
In this paper, we present a sentence simplification method and demonstrate its use to improve intent determination and slot filling tasks in spoken language understanding (SLU) ...