2292 search results - page 99 / 459 » Structure preserving embedding |
144
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper, the safety control problem for a class of hybrid systems with disturbance inputs and imperfect continuous state information is considered. Under the assumption t...
139
click to vote
LCTRTS
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
122
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
161
click to vote
IGPL
2010
15 years 2 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
123
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...