1897 search results - page 260 / 380 » Conditional Linear Planning |
108
click to vote
FSE
2009
Springer
16 years 3 months ago
2009
Springer
MULTI2 is the block cipher used in the ISDB standard for scrambling digital multimedia content. MULTI2 is used in Japan to secure multimedia broadcasting, including recent applicat...
119
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
128
click to vote
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
134
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...