16616 search results - page 66 / 3324 » Extending Extended Vacuity |
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
We extend the knowledge compilation map introduced by Darwiche and Marquis with new propositional fragments obtained by applying closure principles to several fragments studied so...
EPEW
2008
Springer
14 years 11 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ICDIM
2007
IEEE
14 years 11 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
SE
2010
14 years 11 months ago
2010
Abstract: Plug-in frameworks support the development of component-based software that is extensible and customizable to the needs of specific users. However, most current framework...