4352 search results - page 252 / 871 » A Representation Theorem and Applications |
413
click to vote
EGITALY
2011
14 years 7 months ago
2011
Recently, the number of applications developed for smartphones has dramatically increased; however, at the moment, applications having the purpose of creating and displaying 3D mo...
198
click to vote
WOSP
2010
ACM
16 years 2 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
254
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
171
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Problems arising from the revision of propositional knowledge bases have been intensively studied for two decades. Many different approaches to revision have thus been suggested, w...
166
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we present a comparison theorem for the solutions of two generalized algebraic Riccati equations (GAREs) coming from two different systems. We show that the so-c...